Implement Constraint Network
Implement AC2001
Fix empty tuple bug
Implement SAC3
Optimizations
Add support for multiorbit alphabets
Some cleanup
Triples
Add command 'all'
Optimize checkMajorityAutomorphismsMany
Use only class representatives in 'all'
Add result7
Add s8
Rename 'all8.txt' to 'all6.txt'
Add result8
Reduce number of atoms
Implement 'runPart' command
Optimization -- use Ints in ConstraintNetwork
More all8.txt
Bug fix