Finished Unit tests for Solver