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