complete partial assignment
better impl of selectUnassignedVariable
untested nogood creation
strange inference
noGood generation tested
consider is taking way too long
minimal conflict discovery is not complete
consistency sustainer
custom constraint learning
Added isos helper class
started on constraint var substitution