View source
enum
  • Pull requests #4: Enum Declined
  • Contributors
    1. Loading...
Author Commit Message Date Builds
65 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