sagemath-common 7.4-9 / usr / lib / python2.7 / dist-packages / sage / sat

This file is indexed.

/usr/lib/python2.7/dist-packages/sage/sat/ is in sagemath-common 7.4-9.

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

File Mime Type Owner Mode Size
..
/usr/lib/python2.7/dist-packages/sage/sat/__init__.py application/octet-stream root:root 0o644 1 byte
/usr/lib/python2.7/dist-packages/sage/sat/all.py text/x-python root:root 0o644 95 bytes
/usr/lib/python2.7/dist-packages/sage/sat/boolean_polynomials.py text/plain root:root 0o644 12.7 KB
/usr/lib/python2.7/dist-packages/sage/sat/converters/ root:root 0o755
/usr/lib/python2.7/dist-packages/sage/sat/converters/__init__.py text/x-python root:root 0o644 132 bytes
/usr/lib/python2.7/dist-packages/sage/sat/converters/anf2cnf.py text/plain root:root 0o644 189 bytes
/usr/lib/python2.7/dist-packages/sage/sat/converters/polybori.py text/plain root:root 0o644 20.3 KB
/usr/lib/python2.7/dist-packages/sage/sat/solvers/ root:root 0o755
/usr/lib/python2.7/dist-packages/sage/sat/solvers/__init__.py text/x-python root:root 0o644 187 bytes
/usr/lib/python2.7/dist-packages/sage/sat/solvers/cryptominisat/ root:root 0o755
/usr/lib/python2.7/dist-packages/sage/sat/solvers/cryptominisat/__init__.py text/x-python root:root 0o644 115 bytes
/usr/lib/python2.7/dist-packages/sage/sat/solvers/cryptominisat/cryptominisat.pxd text/plain root:root 0o644 139 bytes
/usr/lib/python2.7/dist-packages/sage/sat/solvers/cryptominisat/cryptominisat_helper.h text/plain root:root 0o644 1.1 KB
/usr/lib/python2.7/dist-packages/sage/sat/solvers/cryptominisat/decl.pxd text/plain root:root 0o644 10.6 KB
/usr/lib/python2.7/dist-packages/sage/sat/solvers/cryptominisat/solverconf.pxd text/plain root:root 0o644 1.1 KB
/usr/lib/python2.7/dist-packages/sage/sat/solvers/cryptominisat/solverconf_helper.h text/x-c root:root 0o644 1.0 KB
/usr/lib/python2.7/dist-packages/sage/sat/solvers/dimacs.py text/plain root:root 0o644 14.9 KB
/usr/lib/python2.7/dist-packages/sage/sat/solvers/sat_lp.py text/x-c++ root:root 0o644 4.2 KB
/usr/lib/python2.7/dist-packages/sage/sat/solvers/satsolver.pxd text/plain root:root 0o644 31 bytes

APT Browse - Built by Thomas Orozco.