%FILES%
usr/
usr/bin/
usr/bin/minisat
usr/include/
usr/include/minisat/
usr/include/minisat/core/
usr/include/minisat/core/Dimacs.h
usr/include/minisat/core/Solver.h
usr/include/minisat/core/SolverTypes.h
usr/include/minisat/mtl/
usr/include/minisat/mtl/Alg.h
usr/include/minisat/mtl/Alloc.h
usr/include/minisat/mtl/Heap.h
usr/include/minisat/mtl/IntMap.h
usr/include/minisat/mtl/IntTypes.h
usr/include/minisat/mtl/Map.h
usr/include/minisat/mtl/Queue.h
usr/include/minisat/mtl/Rnd.h
usr/include/minisat/mtl/Sort.h
usr/include/minisat/mtl/Vec.h
usr/include/minisat/mtl/XAlloc.h
usr/include/minisat/simp/
usr/include/minisat/simp/SimpSolver.h
usr/include/minisat/utils/
usr/include/minisat/utils/Options.h
usr/include/minisat/utils/ParseUtils.h
usr/include/minisat/utils/System.h
usr/lib/
usr/lib/libminisat.so
usr/lib/libminisat.so.2
usr/lib/libminisat.so.2.1.0
usr/share/
usr/share/licenses/
usr/share/licenses/minisat/
usr/share/licenses/minisat/LICENSE
