Modern SAT solvers: fast, neat and underused

Re:Modern SAT solvers: fast, neat and underused by svd4anything on Sunday May 19, 2019 @08:02PM (#19956413)

Ssshhh ... Stop telling everyone. I have rewritten various problems as MILP it finds a solution and people think I’m smart!

My favorite MILP is commercial and perhaps somewhat obscure for general population - Mosek. Any recommendations in regards to other good options? perhaps open source that might be in same or better league.

[ Parent | on HN ]

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 ]