python3-sympy 0.7.6.1-1 / usr / lib / python3 / dist-packages / sympy / logic

This file is indexed.

/usr/lib/python3/dist-packages/sympy/logic/ is in python3-sympy 0.7.6.1-1.

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

File Mime Type Owner Mode Size
..
/usr/lib/python3/dist-packages/sympy/logic/__init__.py text/x-python root:root 0o644 214 bytes
/usr/lib/python3/dist-packages/sympy/logic/algorithms/ root:root 0o755
/usr/lib/python3/dist-packages/sympy/logic/algorithms/__init__.py application/x-empty root:root 0o644 0 bytes
/usr/lib/python3/dist-packages/sympy/logic/algorithms/dpll.py text/plain root:root 0o644 9.1 KB
/usr/lib/python3/dist-packages/sympy/logic/algorithms/dpll2.py text/plain root:root 0o644 20.6 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/ root:root 0o755
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/__init__.py application/x-empty root:root 0o644 0 bytes
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/ root:root 0o755
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/10.cnf text/plain root:root 0o644 474 bytes
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/100.cnf text/plain root:root 0o644 5.2 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/105.cnf text/plain root:root 0o644 5.5 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/110.cnf text/plain root:root 0o644 5.7 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/115.cnf text/plain root:root 0o644 6.0 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/120.cnf text/plain root:root 0o644 6.4 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/125.cnf text/plain root:root 0o644 6.7 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/130.cnf text/plain root:root 0o644 7.0 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/135.cnf text/plain root:root 0o644 7.4 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/140.cnf text/plain root:root 0o644 7.7 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/145.cnf text/plain root:root 0o644 8.0 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/15.cnf text/plain root:root 0o644 740 bytes
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/150.cnf text/plain root:root 0o644 8.3 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/20.cnf text/plain root:root 0o644 992 bytes
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/25.cnf text/plain root:root 0o644 1.2 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/30.cnf text/plain root:root 0o644 1.5 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/35.cnf text/plain root:root 0o644 1.8 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/40.cnf text/plain root:root 0o644 2.0 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/45.cnf text/plain root:root 0o644 2.3 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/50.cnf text/plain root:root 0o644 2.5 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/55.cnf text/plain root:root 0o644 2.8 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/60.cnf text/plain root:root 0o644 3.1 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/65.cnf text/plain root:root 0o644 3.3 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/70.cnf text/plain root:root 0o644 3.6 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/75.cnf text/plain root:root 0o644 3.8 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/80.cnf text/plain root:root 0o644 4.1 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/85.cnf text/plain root:root 0o644 4.4 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/90.cnf text/plain root:root 0o644 4.6 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/input/95.cnf text/plain root:root 0o644 4.9 KB
/usr/lib/python3/dist-packages/sympy/logic/benchmarks/run-solvers.py text/x-python root:root 0o644 1.0 KB
/usr/lib/python3/dist-packages/sympy/logic/boolalg.py text/plain root:root 0o644 45.7 KB
/usr/lib/python3/dist-packages/sympy/logic/inference.py text/plain root:root 0o644 7.5 KB
/usr/lib/python3/dist-packages/sympy/logic/tests/ root:root 0o755
/usr/lib/python3/dist-packages/sympy/logic/tests/__init__.py application/x-empty root:root 0o644 0 bytes
/usr/lib/python3/dist-packages/sympy/logic/tests/test_boolalg.py text/x-python root:root 0o644 19.7 KB
/usr/lib/python3/dist-packages/sympy/logic/tests/test_dimacs.py text/plain root:root 0o644 3.8 KB
/usr/lib/python3/dist-packages/sympy/logic/tests/test_inference.py text/plain root:root 0o644 9.5 KB
/usr/lib/python3/dist-packages/sympy/logic/utilities/ root:root 0o755
/usr/lib/python3/dist-packages/sympy/logic/utilities/__init__.py text/x-python root:root 0o644 30 bytes
/usr/lib/python3/dist-packages/sympy/logic/utilities/dimacs.py text/plain root:root 0o644 1.7 KB

APT Browse - Built by Thomas Orozco.