View source
pb_constraints
  • Contributors
    1. Loading...
Author Commit Message Date Builds
10 commits behind master.
JoD
readme
JoD
Avoid duplicate constraints
JoD
Refactor introducing getVarsToBreakOn method
JoD
First refactor of PB small refactor opb test files Refactoring of litAndCoeffs minimized tseitin construction and fixed bug in weights
Bart Bogaerts
Implemented Pseudo-Boolean solving
Bart Bogaerts
off by one fix
Bart Bogaerts
use the time limit in Bliss
Bart Bogaerts
Added BLISS This is ALMOST identical to bliss as downloaded online. Only diference: I made the user hook return a boolean to indicate when to stop searching
Bart Bogaerts
Implemented bliss
Bart Bogaerts
implemented sparsenauty
Bart Bogaerts
Bugfix in color management
Bart Bogaerts
Improved initial matrix detection
Bart Bogaerts
Implemented permutation splitting Improves patterns of generators
Bart Bogaerts
Implemented compiling with nauty (traces, actually) LOOKING BAD! bad generators coming out!
Bart Bogaerts
disambiguate set
Bart Bogaerts
Added nauty
Bart Bogaerts
ignore
Bart Bogaerts
Isolated all suacy methods