FlatZinc
From MaRDI portal
Software:18395
swMATH6262MaRDI QIDQ18395FDOQ18395
Author name not available (Why is that?)
Cited In (9)
- 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?)
- A System for Solving Constraint Satisfaction Problems with SMT
- Solving constraint satisfaction problems with SAT modulo theories
- Philosophy of the MiniZinc challenge
- Title not available (Why is that?)
This page was built for software: FlatZinc
