About

This package is 95.7 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/l/ladr/prover9_0.0.200911a-2_amd64.deb .

View its full control file here: debian/control.

Description

theorem prover and countermodel generator

Relations

This package depends on: libc6 (>= 2.11), libladr4 (>= 0.0.200911a-1).

This package does not recommend any other package.

This package suggests: ladr4-apps (= 0.0.200911a-2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b).

This package does not conflict with any other package.

Package Contents

This package is indexed.

prover9 0.0.200911a-2 is in ubuntu - trusty / universe. This package's architecture is: amd64.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/interpformat application/x-executable root:root 0o755 15.0 KB
/usr/bin/isofilter application/x-executable root:root 0o755 10.6 KB
/usr/bin/isofilter0 application/x-executable root:root 0o755 10.6 KB
/usr/bin/isofilter2 application/x-executable root:root 0o755 10.6 KB
/usr/bin/mace4 application/x-executable root:root 0o755 59.0 KB
/usr/bin/prooftrans application/x-executable root:root 0o755 18.9 KB
/usr/bin/prover9 application/x-executable root:root 0o755 112.6 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/prover9/ root:root 0o755
/usr/share/doc/prover9/changelog.Debian.gz root:root 0o777
/usr/share/doc/prover9/copyright text/plain root:root 0o644 2.1 KB
/usr/share/doc/prover9/examples/ root:root 0o755
/usr/share/doc/prover9/examples/mace4.examples/ root:root 0o755
/usr/share/doc/prover9/examples/mace4.examples/group2.in text/plain root:root 0o644 601 bytes
/usr/share/doc/prover9/examples/mace4.examples/README text/plain root:root 0o644 80 bytes
/usr/share/doc/prover9/examples/mace4.examples/rw1.in text/plain root:root 0o644 722 bytes
/usr/share/doc/prover9/examples/prover9.examples/ root:root 0o755
/usr/share/doc/prover9/examples/prover9.examples/README text/plain root:root 0o644 80 bytes
/usr/share/doc/prover9/examples/prover9.examples/x2.hints text/plain root:root 0o644 496 bytes
/usr/share/doc/prover9/examples/prover9.examples/x2.in text/plain root:root 0o644 152 bytes
/usr/share/doc/prover9/examples/prover9.examples/x2.out.gz application/gzip root:root 0o644 1.5 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/interpformat.1.gz application/gzip root:root 0o644 774 bytes
/usr/share/man/man1/isofilter0.1.gz root:root 0o777
/usr/share/man/man1/isofilter.1.gz application/gzip root:root 0o644 797 bytes
/usr/share/man/man1/isofilter2.1.gz root:root 0o777
/usr/share/man/man1/mace4.1.gz application/gzip root:root 0o644 1.8 KB
/usr/share/man/man1/prooftrans.1.gz application/gzip root:root 0o644 838 bytes
/usr/share/man/man1/prover9.1.gz application/gzip root:root 0o644 750 bytes