Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Example solvers<br />
◮ <strong>SAT</strong>: Mini<strong>SAT</strong>, Glucose, Cryp<strong>to</strong>Mini<strong>SAT</strong>, <strong>SAT</strong>4J<br />
◮ SMT: Z3, Yices, CVC4<br />
◮ CSP: Minion, Gecode, G12, ILOG, JaCoP<br />
◮ <strong>SAT</strong>- and SMT-based <strong>constraint</strong> solvers: Sugar, Fzn2smt<br />
◮ hybrid solvers: Chuffed<br />
◮ and many others (see <strong>SAT</strong>/SMT/CSP solver competitions<br />
and MiniZinc challenge)