Hacker News new | past | comments | ask | show | jobs | submit login

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/).




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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: