Cited in
(24)- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Portfolio approaches for constraint optimization problems
- A constraint-based local search backend for MiniZinc
- A system for solving constraint satisfaction problems with SMT
- Solving constraint satisfaction problems with SAT modulo theories
- scientific article; zbMATH DE number 7453113 (Why is no real title available?)
- iOpt
- COMET
- LocalSolver
- JaCoP
- OscaR
- SIMPLY
- fzn2smt
- Kangaroo
- Oscar.cbls
- Localizer
- PonyGE2
- iZplus
- CGM-Tool
- PyLMT
- SUNNY
- MiniZinc with strings
- Philosophy of the MiniZinc challenge
- scientific article; zbMATH DE number 7453149 (Why is no real title available?)
This page was built for software: FlatZinc
