minisat 1:2.2.1-4 / usr / include

This file is indexed.

/usr/include/ is in minisat 1:2.2.1-4.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/include/minisat/ root:root 0o755
/usr/include/minisat/simp/ root:root 0o755
/usr/include/minisat/simp/SimpSolver.h text/x-c root:root 0o644 9.5 KB
/usr/include/minisat/utils/ root:root 0o755
/usr/include/minisat/utils/System.h text/x-c root:root 0o644 2.4 KB
/usr/include/minisat/utils/ParseUtils.h text/x-c++ root:root 0o644 3.9 KB
/usr/include/minisat/utils/Options.h text/x-c root:root 0o644 11.9 KB
/usr/include/minisat/mtl/ root:root 0o755
/usr/include/minisat/mtl/Heap.h text/x-c root:root 0o644 4.6 KB
/usr/include/minisat/mtl/Sort.h text/x-c++ root:root 0o644 3.2 KB
/usr/include/minisat/mtl/XAlloc.h text/x-c root:root 0o644 1.9 KB
/usr/include/minisat/mtl/Alloc.h text/x-c root:root 0o644 4.3 KB
/usr/include/minisat/mtl/Vec.h text/x-c++ root:root 0o644 5.4 KB
/usr/include/minisat/mtl/Alg.h text/x-c root:root 0o644 2.8 KB
/usr/include/minisat/mtl/Queue.h text/x-c++ root:root 0o644 2.9 KB
/usr/include/minisat/mtl/Map.h text/x-c root:root 0o644 6.5 KB
/usr/include/minisat/mtl/IntTypes.h text/x-c root:root 0o644 1.7 KB
/usr/include/minisat/core/ root:root 0o755
/usr/include/minisat/core/Dimacs.h text/x-c root:root 0o644 3.2 KB
/usr/include/minisat/core/Solver.h text/x-c++ root:root 0o644 21.6 KB
/usr/include/minisat/core/SolverTypes.h text/x-c++ root:root 0o644 15.2 KB

APT Browse - Built by Thomas Orozco.