Cited in
(11)- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- FlatZinc
- URBiVA
- NSPLib
- fzn2smt
- CGM-Tool
- PyLMT
- Solving constraint satisfaction problems with SAT modulo theories
- URSA: a system for uniform reduction to SAT
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- A system for solving constraint satisfaction problems with SMT
This page was built for software: SIMPLY
