SIMPLY

MaRDI QIDQ23745swMATHFDO

Official website http://ima.udg.es/~mbofill/Site/Miquel_Bofills_Home_Page_files/bofill-modRef09.pdf

Cited in

(11)

• FlatZinc
• URBiVA
• \textsc{OptiMathSAT}: a tool for optimization modulo theories
• NSPLib
• fzn2smt
• URSA: a system for uniform reduction to SAT
• PyLMT
• CGM-Tool
• Solving constraint satisfaction problems with SAT modulo theories
• 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