- Remove the old validator stuff
- discrete implementation for the constraints
ReconfigurationPlanChecker -> SatConstraintChecker
Several bug fixes
Bug fix
Bug fix.

Current tests are fine now but the code is still messy and buggy. Need more tests and more documentation