minisat/core/*.h usr/include/minisat/core/
minisat/mtl/*.h usr/include/minisat/mtl/
minisat/utils/*.h usr/include/minisat/utils/
minisat/simp/*.h usr/include/minisat/simp/
build/release/lib/libminisat.a usr/lib/
build/dynamic/lib/libminisat.so* usr/lib/
build/dynamic/bin/minisat usr/bin/
