News for hackers. Stuff that matters.

A comment on MiniZinc: free and open-source constraint modeling language. Parent comment

Re:MiniZinc: free and open-source constraint modeling language by chillydawg on Saturday January 20, 2018 @12:54PM (#16194400)
Possibly a simplex solve for a large linear problem.
[ Parent | on HN ]
Re:MiniZinc: free and open-source constraint modeling language by hakank on Saturday January 20, 2018 @02:55PM (#16195086)
There is a lot off different type of solvers that can be used to solve a MiniZinc model: MIP, Constraint Programming, SAT, Hybrid SAT+CP, Local search etc.
[ Parent | on HN ]