FlatZinc
From MaRDI portal
Software:18395
No author found.
Related Items (9)
Portfolio approaches for constraint optimization problems ⋮ Philosophy of the MiniZinc challenge ⋮ MiniZinc with strings ⋮ A constraint-based local search backend for MiniZinc ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Solving constraint satisfaction problems with SAT 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: FlatZinc
