View source
enum_rebase
Author Commit Message Date Builds
63 commits behind master.
Bart Bogaerts
README
JoD
Added option to add relaxed clauses Conflicts: src/BreakID.cpp fix full clause encoding
Bart Bogaerts
Finished breakidEnum
Bart Bogaerts
Implemented the logic
Bart Bogaerts
Added extra print option: symmetry generators can now be printed in a system-readable format
Bart Bogaerts
ignore
Bart Bogaerts
ignore stuff