SIMPLY
From MaRDI portal
Software:23745
No author found.
Related Items (5)
URSA: A System for Uniform Reduction to SAT ⋮ 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 ⋮ \textsc{OptiMathSAT}: a tool for optimization modulo theories
This page was built for software: SIMPLY
