News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused. Parent comment

Re:Modern SAT solvers: fast, neat and underused by throwawaymath on Sunday May 19, 2019 @08:13PM (#19956470)
Gurobi, CPLEX and XPRESS are the obvious commercial ones. GLPK and Cbc will also do MILP.

For more information, see this page: http://plato.asu.edu/guide.html

[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused by svd4anything on Sunday May 19, 2019 @08:26PM (#19956534)
Thank you so much. Very nice collection of information.
[ Parent | on HN ]