Default Branch

master

56c3434298 · Tried to fix the problem, may have made it worse. · Updated 2 years ago

Branches

clause_generator

64a356b717 · Added testing and docs for the clause generator · Updated 2 years ago

29
0
Included
karmarkar

397b310929 · Added untested MAXSAT-to-ILP reduction · Updated 2 years ago

21
0
Included