Frédéric Saubion

Evolving SMT Strategies

2016

StratEVO is an evolutionary algorithm that aims at generating strategies for the SMT solver Z3. Solving SAT modulo theories instance requires to define complex combinations of solvers, heuristics and proof checking tools that require expert …