Moved constraints to Constraints class, added State, Solver.