Cleaned up logs. Added test cases for solver logic