在 sid 发行版中 sparc64 硬件架构下的 minisat 软件包文件清单
/usr/bin/minisat
/usr/include/minisat/core/Dimacs.h
/usr/include/minisat/core/Solver.h
/usr/include/minisat/core/SolverTypes.h
/usr/include/minisat/mtl/Alg.h
/usr/include/minisat/mtl/Alloc.h
/usr/include/minisat/mtl/Heap.h
/usr/include/minisat/mtl/IntTypes.h
/usr/include/minisat/mtl/Map.h
/usr/include/minisat/mtl/Queue.h
/usr/include/minisat/mtl/Sort.h
/usr/include/minisat/mtl/Vec.h
/usr/include/minisat/mtl/XAlloc.h
/usr/include/minisat/simp/SimpSolver.h
/usr/include/minisat/utils/Options.h
/usr/include/minisat/utils/ParseUtils.h
/usr/include/minisat/utils/System.h
/usr/lib/libminisat.a
/usr/lib/libminisat.so
/usr/lib/libminisat.so.2
/usr/lib/libminisat.so.2.1.0
/usr/share/doc-base/minisat.minisat-user-guide
/usr/share/doc/minisat/changelog.Debian.gz
/usr/share/doc/minisat/changelog.gz
/usr/share/doc/minisat/copyright
/usr/share/doc/minisat/minisat-user-guide.html
/usr/share/man/man1/minisat.1.gz