Solver.h revision 0d8ed3f2
1