News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.