Add satsolver.solveDimacs