Use Minisat instead of Picosat for model counting in SimpleSolver
Implement new verison of phase 1 symmetry detection (+ add PermLib)