/minisat/
../
LICENSE
include
solver