MiniZinc: free and open-source constraint modeling language

Re:MiniZinc: free and open-source constraint modeling language by phkahler on Saturday January 20, 2018 @01:26PM (#16194604)

People need to specify what type of constraint their solver handles. It's a rather large space, and to not even mention what type of constraints on the page is a major oversight.

[ Parent | on HN ]

Re:MiniZinc: free and open-source constraint modeling language by mcphage on Saturday January 20, 2018 @01:42PM (#16194693)

MiniZinc itself is only a specification language, which a large number of solvers can use.

[ Parent | on HN ]

Re:MiniZinc: free and open-source constraint modeling language by Jeff_Brown on Saturday January 20, 2018 @01:32PM (#16194634)

Hear, hear. Is this good for optimization problems over the reals, or only finite-domain problems? If the former, can it solve nonlinear problems?

[ Parent | on HN ]

Re:MiniZinc: free and open-source constraint modeling language by hakank on Saturday January 20, 2018 @03:35PM (#16195272)

Some of the FlatZinc solvers can handle (nonlinear) finite-domain problems, and some just linear MIP problems with floats.

Some solvers, e.g. Gecode and JaCoP, can handle nonlinear problems with floats as well as finite-domain problems.

[ Parent | on HN ]

Re:MiniZinc: free and open-source constraint modeling language by nurettin on Saturday January 20, 2018 @03:43PM (#16195314)

the hakank?

[ Parent | on HN ]

Re:MiniZinc: free and open-source constraint modeling language by hakank on Saturday January 20, 2018 @03:56PM (#16195391)

:-) Yes.

[ Parent | on HN ]

Re:MiniZinc: free and open-source constraint modeling language by herrkevin on Saturday January 20, 2018 @03:32PM (#16195260)

It depends on the solver backend. Some only solve finite domain problems. I think all of them (for general constraint programming) can solve non-linear problems. Obviously if you use a backend that only solves mixed integer linear programs, then you are more restricted.

[ Parent | on HN ]