MiniZinc is a high level solver-independent constraint modeling language.
MiniZinc is a high level solver-independent constraint modeling language. The solvers supporting the FlatZinc files (which is generated during the process of running MiniZinc) format use different solving algorithms: Constraint Programming (Finite Domain), Lazy Clause Generation (CP/SAT), SAT, MIP, Local Search, SMT.
|
created |
1 year, 4 months ago |
|
viewed |
5 times |
|
active |
1 year, 4 months ago |
|
editors |
3 |
