This package is 535.5 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/o/otter/mace2_3.3f-1.1_amd64.deb
.
View its full control file here:
debian/control.
program that searches for finite models of first-order statements
mace2 3.3f-1.1 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/anldp
|
application/x-executable | root:root | 0o755 | 354.4 KB |
/usr/bin/mace2
|
application/x-executable | root:root | 0o755 | 354.4 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/mace2/
|
root:root | 0o755 | ||
/usr/share/doc/mace2/anldp.html
|
text/html | root:root | 0o644 | 56.3 KB |
/usr/share/doc/mace2/anldp.ps.gz
|
application/gzip | root:root | 0o644 | 73.8 KB |
/usr/share/doc/mace2/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 384 bytes |
/usr/share/doc/mace2/copyright
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/mace2/examples/
|
root:root | 0o755 | ||
/usr/share/doc/mace2/examples/basic/
|
root:root | 0o755 | ||
/usr/share/doc/mace2/examples/basic/cd.in
|
text/plain | root:root | 0o644 | 733 bytes |
/usr/share/doc/mace2/examples/basic/cd.out
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/doc/mace2/examples/basic/cl_ql.in
|
text/plain | root:root | 0o644 | 428 bytes |
/usr/share/doc/mace2/examples/basic/cl_ql.out
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/doc/mace2/examples/basic/cl_sw.in
|
text/plain | root:root | 0o644 | 523 bytes |
/usr/share/doc/mace2/examples/basic/cl_sw.out
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/doc/mace2/examples/basic/index.html
|
text/html | root:root | 0o644 | 1.2 KB |
/usr/share/doc/mace2/examples/basic/noncommutative_group.in
|
text/plain | root:root | 0o644 | 136 bytes |
/usr/share/doc/mace2/examples/basic/noncommutative_group.out
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/doc/mace2/examples/basic/ordered_semi.in
|
text/plain | root:root | 0o644 | 383 bytes |
/usr/share/doc/mace2/examples/basic/ordered_semi.out
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/doc/mace2/examples/basic/program
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/share/doc/mace2/examples/basic/README
|
text/plain | root:root | 0o644 | 34 bytes |
/usr/share/doc/mace2/examples/basic/ring.in
|
text/plain | root:root | 0o644 | 616 bytes |
/usr/share/doc/mace2/examples/basic/ring.out
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/doc/mace2/examples/basic/tba.in
|
text/plain | root:root | 0o644 | 358 bytes |
/usr/share/doc/mace2/examples/basic/tba.out
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/doc/mace2/examples/basic/temp
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/doc/mace2/examples/basic/tough-nut.in
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/doc/mace2/examples/basic/tough-nut.out
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/doc/mace2/examples/index.html
|
text/html | root:root | 0o644 | 816 bytes |
/usr/share/doc/mace2/examples/iterate/
|
root:root | 0o755 | ||
/usr/share/doc/mace2/examples/iterate/BOO032-1.in
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/doc/mace2/examples/iterate/BOO032-1.out.gz
|
application/gzip | root:root | 0o644 | 1.9 KB |
/usr/share/doc/mace2/examples/iterate/CAT019-5.in
|
text/x-c | root:root | 0o644 | 2.7 KB |
/usr/share/doc/mace2/examples/iterate/CAT019-5.out.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/mace2/examples/iterate/cd.in
|
text/plain | root:root | 0o644 | 704 bytes |
/usr/share/doc/mace2/examples/iterate/cd.out.gz
|
application/gzip | root:root | 0o644 | 1.2 KB |
/usr/share/doc/mace2/examples/iterate/index.html
|
text/html | root:root | 0o644 | 1.5 KB |
/usr/share/doc/mace2/examples/iterate/kauer.in
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/iterate/kauer.out.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/mace2/examples/iterate/LAT025-1.in
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/share/doc/mace2/examples/iterate/LAT025-1.out.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/mace2/examples/iterate/LCL136-1.in
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/doc/mace2/examples/iterate/LCL136-1.out.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/iterate/noncommutative_group.in
|
text/plain | root:root | 0o644 | 136 bytes |
/usr/share/doc/mace2/examples/iterate/noncommutative_group.out.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/iterate/noncommutive_ring1.in
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/doc/mace2/examples/iterate/noncommutive_ring1.out.gz
|
application/gzip | root:root | 0o644 | 1.9 KB |
/usr/share/doc/mace2/examples/iterate/program
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/share/doc/mace2/examples/iterate/PUZ001-3.in
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/doc/mace2/examples/iterate/PUZ001-3.out.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/iterate/README
|
text/plain | root:root | 0o644 | 44 bytes |
/usr/share/doc/mace2/examples/iterate/RNG025-8.in
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/doc/mace2/examples/iterate/RNG025-8.out.gz
|
application/gzip | root:root | 0o644 | 1.9 KB |
/usr/share/doc/mace2/examples/lattice/
|
root:root | 0o755 | ||
/usr/share/doc/mace2/examples/lattice/finite-lattice
|
text/plain | root:root | 0o644 | 796 bytes |
/usr/share/doc/mace2/examples/lattice/index.html
|
text/html | root:root | 0o644 | 1.2 KB |
/usr/share/doc/mace2/examples/lattice/lattice-axioms
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/doc/mace2/examples/lattice/lt-ml.in
|
text/plain | root:root | 0o644 | 242 bytes |
/usr/share/doc/mace2/examples/lattice/lt-ml.out.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/mace2/examples/lattice/lt-ol.in
|
text/plain | root:root | 0o644 | 276 bytes |
/usr/share/doc/mace2/examples/lattice/lt-ol.out.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/mace2/examples/lattice/ml-mol.in
|
text/plain | root:root | 0o644 | 363 bytes |
/usr/share/doc/mace2/examples/lattice/ml-mol.out.gz
|
application/gzip | root:root | 0o644 | 2.3 KB |
/usr/share/doc/mace2/examples/lattice/mol-ba.in
|
text/plain | root:root | 0o644 | 268 bytes |
/usr/share/doc/mace2/examples/lattice/mol-ba.out.gz
|
application/gzip | root:root | 0o644 | 1.8 KB |
/usr/share/doc/mace2/examples/lattice/ol-e1.in
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/doc/mace2/examples/lattice/ol-e1.out.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/mace2/examples/lattice/ol-e4.in
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/lattice/ol-e4.out.gz
|
application/gzip | root:root | 0o644 | 2.7 KB |
/usr/share/doc/mace2/examples/lattice/ol-oml.in
|
text/plain | root:root | 0o644 | 200 bytes |
/usr/share/doc/mace2/examples/lattice/ol-oml.out.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/mace2/examples/lattice/oml-mol.in
|
text/plain | root:root | 0o644 | 474 bytes |
/usr/share/doc/mace2/examples/lattice/oml-mol.out.gz
|
application/gzip | root:root | 0o644 | 2.0 KB |
/usr/share/doc/mace2/examples/lattice/ortholattice
|
text/plain | root:root | 0o644 | 540 bytes |
/usr/share/doc/mace2/examples/lattice/program
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/share/doc/mace2/examples/lattice/README
|
text/plain | root:root | 0o644 | 68 bytes |
/usr/share/doc/mace2/examples/Makefile
|
text/x-makefile | root:root | 0o644 | 82 bytes |
/usr/share/doc/mace2/examples/Perl-examples/
|
root:root | 0o755 | ||
/usr/share/doc/mace2/examples/Perl-examples/candidates
|
text/plain | root:root | 0o644 | 925 bytes |
/usr/share/doc/mace2/examples/Perl-examples/commute4_filter
|
text/x-perl | root:root | 0o755 | 535 bytes |
/usr/share/doc/mace2/examples/Perl-examples/index.html
|
text/html | root:root | 0o644 | 1.0 KB |
/usr/share/doc/mace2/examples/Perl-examples/README
|
text/plain | root:root | 0o644 | 670 bytes |
/usr/share/doc/mace2/examples/Perl-examples/Sheffer-mgi-without-mirrors.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/mace2/examples/propositional/
|
root:root | 0o755 | ||
/usr/share/doc/mace2/examples/propositional/f2.in
|
text/plain | root:root | 0o644 | 28 bytes |
/usr/share/doc/mace2/examples/propositional/f2.out
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/propositional/f3.in
|
text/plain | root:root | 0o644 | 76 bytes |
/usr/share/doc/mace2/examples/propositional/f3.out
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/propositional/f4.in
|
text/plain | root:root | 0o644 | 192 bytes |
/usr/share/doc/mace2/examples/propositional/f4.out
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/propositional/index.html
|
text/html | root:root | 0o644 | 1.1 KB |
/usr/share/doc/mace2/examples/propositional/p10.IN.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/mace2/examples/propositional/p5.in
|
text/plain | root:root | 0o644 | 879 bytes |
/usr/share/doc/mace2/examples/propositional/p5.out
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/propositional/p6.in
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/propositional/p6.out
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/propositional/p7.in
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/doc/mace2/examples/propositional/p7.out
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/propositional/p8.in
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/doc/mace2/examples/propositional/p8.out
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/propositional/p9.in.gz
|
application/gzip | root:root | 0o644 | 1.2 KB |
/usr/share/doc/mace2/examples/propositional/p9.out
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/mace2/examples/propositional/program
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/share/doc/mace2/examples/propositional/q10.in.gz
|
application/gzip | root:root | 0o644 | 3.7 KB |
/usr/share/doc/mace2/examples/propositional/q10.out
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/doc/mace2/examples/propositional/README
|
text/plain | root:root | 0o644 | 34 bytes |
/usr/share/doc/mace2/examples/propositional/README.more
|
text/plain | root:root | 0o644 | 125 bytes |
/usr/share/doc/mace2/examples/quasigroup/
|
root:root | 0o755 | ||
/usr/share/doc/mace2/examples/quasigroup/index.html
|
text/html | root:root | 0o644 | 1.2 KB |
/usr/share/doc/mace2/examples/quasigroup/omts9.in
|
text/plain | root:root | 0o644 | 765 bytes |
/usr/share/doc/mace2/examples/quasigroup/omts9.out
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/doc/mace2/examples/quasigroup/program
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/share/doc/mace2/examples/quasigroup/qg1d.in
|
text/plain | root:root | 0o644 | 335 bytes |
/usr/share/doc/mace2/examples/quasigroup/qg1d.out
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/doc/mace2/examples/quasigroup/qg2d.in
|
text/plain | root:root | 0o644 | 335 bytes |
/usr/share/doc/mace2/examples/quasigroup/qg2d.out
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/doc/mace2/examples/quasigroup/qg3.in
|
text/plain | root:root | 0o644 | 167 bytes |
/usr/share/doc/mace2/examples/quasigroup/qg3.out
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/doc/mace2/examples/quasigroup/qg4.in
|
text/plain | root:root | 0o644 | 167 bytes |
/usr/share/doc/mace2/examples/quasigroup/qg4.out
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/doc/mace2/examples/quasigroup/qg5l.in
|
text/plain | root:root | 0o644 | 212 bytes |
/usr/share/doc/mace2/examples/quasigroup/qg5l.out
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/doc/mace2/examples/quasigroup/qg6.in
|
text/plain | root:root | 0o644 | 173 bytes |
/usr/share/doc/mace2/examples/quasigroup/qg6.out
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/doc/mace2/examples/quasigroup/qg7bl.in
|
text/plain | root:root | 0o644 | 191 bytes |
/usr/share/doc/mace2/examples/quasigroup/qg7bl.out
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/doc/mace2/examples/quasigroup/README
|
text/plain | root:root | 0o644 | 40 bytes |
/usr/share/doc/mace2/examples/README
|
text/plain | root:root | 0o644 | 104 bytes |
/usr/share/doc/mace2/examples/Run_all
|
text/x-shellscript | root:root | 0o755 | 722 bytes |
/usr/share/doc/mace2/examples/Run_all.out
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/doc/mace2/examples/Run_anldp
|
text/x-shellscript | root:root | 0o755 | 1.7 KB |
/usr/share/doc/mace2/examples/Run_mace
|
text/x-shellscript | root:root | 0o755 | 1.8 KB |
/usr/share/doc/mace2/mace2.html
|
text/html | root:root | 0o644 | 35.7 KB |
/usr/share/doc/mace2/mace2.ps.gz
|
application/gzip | root:root | 0o644 | 22.5 KB |
/usr/share/doc/mace2/README
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/doc/mace2/README.Ivy
|
text/x-lisp | root:root | 0o644 | 888 bytes |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/anldp.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/mace2.1.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |