Re:OptaPlanner – constraint solver for optimizing planning a...
by mzl on Tuesday October 13, 2020 @03:52AM
(#24763265)
Personally, I tend to use MiniZinc for prototyping and experimenting and for solving simple problems.
For building larger solutions, I would also probably use a solver directly. Reasons for that would be customization, integration, and data handling issues. For me the go-to system would be Gecode, but there are a lot of very interesting and varied solvers available.
Worth noting is that MiniZinc is starting to get more and more support for integration into large systems, for example with the python interface (https://pypi.org/project/minizinc/).
Re:OptaPlanner – constraint solver for optimizing planning a...
by ukd1 on Tuesday October 13, 2020 @01:39PM
(#24767827)
Basically this for me too; MiniZinc is great whilst you don't really have the full problem nailed, when it's harder to pick what you'd like to focus on using sovler wise.
For building larger solutions, I would also probably use a solver directly. Reasons for that would be customization, integration, and data handling issues. For me the go-to system would be Gecode, but there are a lot of very interesting and varied solvers available.
Worth noting is that MiniZinc is starting to get more and more support for integration into large systems, for example with the python interface (https://pypi.org/project/minizinc/).