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 nurettin on Sunday September 29, 2019 @07:49AM (#21106497)
In your experience, does google's or-tools library have any chance in comparison?
[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused by disjhshava on Sunday September 29, 2019 @06:55PM (#21110143)
I didn't benchmark it and can't give a speed comparison, but I had success solving a pretty big optimization problem with GLOP, which I beleive uses or-tools.
[ Parent | on HN ]