Constraint Solver Implementation in Java

This project is to design, implement in Java, and test empirically a simple constraint solver for binary constraints. The solver should employ 2-way branching, and it should implement both the Forward Checking and the Maintaining Arc Consistency algorithms.