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 ]
There are no comments on this comment yet.