/src/prop/minisat/simp/
../
SimpSolver.cc
SimpSolver.h