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