Finished implementing all the required functions for what should be a basic constraint solver.