3 ms·
And similarly relevant, using a solver independent modelling language like [MiniZinc](https://www.minizinc.org/ https://www.minizinc.org/) means that it is poss
by mzl 5y ago
And similarly relevant, using a solver independent modelling language like [MiniZinc](https://www.minizinc.org/ https://www.minizinc.org/) means that it is possible to write a model, and then translate it formats suitable for use with MIP, CP, and SAT solvers.
- sirwhinesalot 5y agoYes MiniZinc is excellent.