/math/minisat/files/
../
patch-minisat-core-SolverTypes.h