swMATH6262MaRDI QIDQ18395FDOQ18395
Author name not available (Why is that?)
Official website: http://www.minizinc.org/
Cited In (22)
- MiniZinc with strings
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Portfolio approaches for constraint optimization problems
- A constraint-based local search backend for MiniZinc
- Title not available (Why is that?)
- LocalSolver
- JaCoP
- OscaR
- SIMPLY
- fzn2smt
- Kangaroo
- Oscar.cbls
- Localizer
- PonyGE2
- iZplus
- CGM-Tool
- PyLMT
- SUNNY
- Solving constraint satisfaction problems with SAT modulo theories
- Philosophy of the MiniZinc challenge
- Title not available (Why is that?)
- A system for solving constraint satisfaction problems with SMT
This page was built for software: FlatZinc
