History src/solver.h