Add result8
Reduce number of atoms
Implement 'runPart' command
Optimization -- use Ints in ConstraintNetwork
More all8.txt
Bug fix
Implement finding homomorphism