core/*.h usr/include/minisat2/
mtl/*.h usr/include/minisat2/
core/libminisat.so* usr/lib/
core/libminisat.a usr/lib/
simp/minisat2 usr/bin/
