mace2_3.3f-1.1_amd64.deb


Advertisement

Description

mace2 - program that searches for finite models of first-order statements

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name mace2
Package version 3.3f
Package release 1.1
Package architecture amd64
Package type deb
Installed size 1.11 KB
Download size 535.46 KB
Official Mirror archive.ubuntu.com
MACE is a program that searches for finite models of first-order and
equational statements developed at Argonne National Laboratory.
This package includes ANLDP, which calls the propositional decision
procedure at the core of MACE directly.
MACE serves as a complementary companion to OTTER, which
searches for refutations of the same class of statement. In
particular, if you have a first-order conjecture, OTTER will search
for a proof, and MACE will search for a counterexample from the same
input file.

Alternatives

Package Version Architecture Repository
mace2_3.3f-1.1_i386.deb 3.3f i386 Ubuntu Universe
mace2 - - -

Requires

Name Value
libc6 >= 2.7

Download

Type URL
Binary Package mace2_3.3f-1.1_amd64.deb
Source Package otter

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install mace2 deb package:
    # sudo apt-get install mace2

Files

Path
/usr/bin/anldp
/usr/bin/mace2
/usr/share/doc/mace2/README
/usr/share/doc/mace2/README.Ivy
/usr/share/doc/mace2/anldp.html
/usr/share/doc/mace2/anldp.ps.gz
/usr/share/doc/mace2/changelog.Debian.gz
/usr/share/doc/mace2/copyright
/usr/share/doc/mace2/mace2.html
/usr/share/doc/mace2/mace2.ps.gz
/usr/share/doc/mace2/examples/Makefile
/usr/share/doc/mace2/examples/README
/usr/share/doc/mace2/examples/Run_all
/usr/share/doc/mace2/examples/Run_all.out
/usr/share/doc/mace2/examples/Run_anldp
/usr/share/doc/mace2/examples/Run_mace
/usr/share/doc/mace2/examples/index.html
/usr/share/doc/mace2/examples/Perl-examples/README
/usr/share/doc/mace2/examples/Perl-examples/Sheffer-mgi-without-mirrors.gz
/usr/share/doc/mace2/examples/Perl-examples/candidates
/usr/share/doc/mace2/examples/Perl-examples/commute4_filter
/usr/share/doc/mace2/examples/Perl-examples/index.html
/usr/share/doc/mace2/examples/basic/README
/usr/share/doc/mace2/examples/basic/cd.in
/usr/share/doc/mace2/examples/basic/cd.out
/usr/share/doc/mace2/examples/basic/cl_ql.in
/usr/share/doc/mace2/examples/basic/cl_ql.out
/usr/share/doc/mace2/examples/basic/cl_sw.in
/usr/share/doc/mace2/examples/basic/cl_sw.out
/usr/share/doc/mace2/examples/basic/index.html
/usr/share/doc/mace2/examples/basic/noncommutative_group.in
/usr/share/doc/mace2/examples/basic/noncommutative_group.out
/usr/share/doc/mace2/examples/basic/ordered_semi.in
/usr/share/doc/mace2/examples/basic/ordered_semi.out
/usr/share/doc/mace2/examples/basic/program
/usr/share/doc/mace2/examples/basic/ring.in
/usr/share/doc/mace2/examples/basic/ring.out
/usr/share/doc/mace2/examples/basic/tba.in
/usr/share/doc/mace2/examples/basic/tba.out
/usr/share/doc/mace2/examples/basic/temp
/usr/share/doc/mace2/examples/basic/tough-nut.in
/usr/share/doc/mace2/examples/basic/tough-nut.out
/usr/share/doc/mace2/examples/iterate/BOO032-1.in
/usr/share/doc/mace2/examples/iterate/BOO032-1.out.gz
/usr/share/doc/mace2/examples/iterate/CAT019-5.in
/usr/share/doc/mace2/examples/iterate/CAT019-5.out.gz
/usr/share/doc/mace2/examples/iterate/LAT025-1.in
/usr/share/doc/mace2/examples/iterate/LAT025-1.out.gz
/usr/share/doc/mace2/examples/iterate/LCL136-1.in
/usr/share/doc/mace2/examples/iterate/LCL136-1.out.gz
/usr/share/doc/mace2/examples/iterate/PUZ001-3.in
/usr/share/doc/mace2/examples/iterate/PUZ001-3.out.gz
/usr/share/doc/mace2/examples/iterate/README
/usr/share/doc/mace2/examples/iterate/RNG025-8.in
/usr/share/doc/mace2/examples/iterate/RNG025-8.out.gz
/usr/share/doc/mace2/examples/iterate/cd.in
/usr/share/doc/mace2/examples/iterate/cd.out.gz
/usr/share/doc/mace2/examples/iterate/index.html
/usr/share/doc/mace2/examples/iterate/kauer.in
/usr/share/doc/mace2/examples/iterate/kauer.out.gz
/usr/share/doc/mace2/examples/iterate/noncommutative_group.in
/usr/share/doc/mace2/examples/iterate/noncommutative_group.out.gz
/usr/share/doc/mace2/examples/iterate/noncommutive_ring1.in
/usr/share/doc/mace2/examples/iterate/noncommutive_ring1.out.gz
/usr/share/doc/mace2/examples/iterate/program
/usr/share/doc/mace2/examples/lattice/README
/usr/share/doc/mace2/examples/lattice/finite-lattice
/usr/share/doc/mace2/examples/lattice/index.html
/usr/share/doc/mace2/examples/lattice/lattice-axioms
/usr/share/doc/mace2/examples/lattice/lt-ml.in
/usr/share/doc/mace2/examples/lattice/lt-ml.out.gz
/usr/share/doc/mace2/examples/lattice/lt-ol.in
/usr/share/doc/mace2/examples/lattice/lt-ol.out.gz
/usr/share/doc/mace2/examples/lattice/ml-mol.in
/usr/share/doc/mace2/examples/lattice/ml-mol.out.gz
/usr/share/doc/mace2/examples/lattice/mol-ba.in
/usr/share/doc/mace2/examples/lattice/mol-ba.out.gz
/usr/share/doc/mace2/examples/lattice/ol-e1.in
/usr/share/doc/mace2/examples/lattice/ol-e1.out.gz
/usr/share/doc/mace2/examples/lattice/ol-e4.in
/usr/share/doc/mace2/examples/lattice/ol-e4.out.gz
/usr/share/doc/mace2/examples/lattice/ol-oml.in
/usr/share/doc/mace2/examples/lattice/ol-oml.out.gz
/usr/share/doc/mace2/examples/lattice/oml-mol.in
/usr/share/doc/mace2/examples/lattice/oml-mol.out.gz
/usr/share/doc/mace2/examples/lattice/ortholattice
/usr/share/doc/mace2/examples/lattice/program
/usr/share/doc/mace2/examples/propositional/README
/usr/share/doc/mace2/examples/propositional/README.more
/usr/share/doc/mace2/examples/propositional/f2.in
/usr/share/doc/mace2/examples/propositional/f2.out
/usr/share/doc/mace2/examples/propositional/f3.in
/usr/share/doc/mace2/examples/propositional/f3.out
/usr/share/doc/mace2/examples/propositional/f4.in
/usr/share/doc/mace2/examples/propositional/f4.out
/usr/share/doc/mace2/examples/propositional/index.html
/usr/share/doc/mace2/examples/propositional/p10.IN.gz
/usr/share/doc/mace2/examples/propositional/p5.in
/usr/share/doc/mace2/examples/propositional/p5.out
/usr/share/doc/mace2/examples/propositional/p6.in
/usr/share/doc/mace2/examples/propositional/p6.out
/usr/share/doc/mace2/examples/propositional/p7.in
/usr/share/doc/mace2/examples/propositional/p7.out
/usr/share/doc/mace2/examples/propositional/p8.in
/usr/share/doc/mace2/examples/propositional/p8.out
/usr/share/doc/mace2/examples/propositional/p9.in.gz
/usr/share/doc/mace2/examples/propositional/p9.out
/usr/share/doc/mace2/examples/propositional/program
/usr/share/doc/mace2/examples/propositional/q10.in.gz
/usr/share/doc/mace2/examples/propositional/q10.out
/usr/share/doc/mace2/examples/quasigroup/README
/usr/share/doc/mace2/examples/quasigroup/index.html
/usr/share/doc/mace2/examples/quasigroup/omts9.in
/usr/share/doc/mace2/examples/quasigroup/omts9.out
/usr/share/doc/mace2/examples/quasigroup/program
/usr/share/doc/mace2/examples/quasigroup/qg1d.in
/usr/share/doc/mace2/examples/quasigroup/qg1d.out
/usr/share/doc/mace2/examples/quasigroup/qg2d.in
/usr/share/doc/mace2/examples/quasigroup/qg2d.out
/usr/share/doc/mace2/examples/quasigroup/qg3.in
/usr/share/doc/mace2/examples/quasigroup/qg3.out
/usr/share/doc/mace2/examples/quasigroup/qg4.in
/usr/share/doc/mace2/examples/quasigroup/qg4.out
/usr/share/doc/mace2/examples/quasigroup/qg5l.in
/usr/share/doc/mace2/examples/quasigroup/qg5l.out
/usr/share/doc/mace2/examples/quasigroup/qg6.in
/usr/share/doc/mace2/examples/quasigroup/qg6.out
/usr/share/doc/mace2/examples/quasigroup/qg7bl.in
/usr/share/doc/mace2/examples/quasigroup/qg7bl.out
/usr/share/man/man1/anldp.1.gz
/usr/share/man/man1/mace2.1.gz

Changelog

See otter_3.3f-1.1_amd64.deb changelog.

See Also

Package Description
mach_0.9.1-3.1_amd64.deb make a chroot of a rpm-based distribution
macopix-gtk2_1.7.4-3build1_amd64.deb Mascot Constructive Pilot for X based on GTK+ 2
mactelnet-client_0.3.4-1_amd64.deb Console tools for telneting and pinging via MAC addresses
mactelnet-server_0.3.4-1_amd64.deb Telnet daemon for accepting connections via MAC addresses
macutils_2.0b3-16_amd64.deb Set of tools to deal with specially encoded Macintosh files
madbomber-data_0.2.5-5_all.deb Datafiles for madbomber
madbomber_0.2.5-5_amd64.deb Kaboom! clone
madison-lite_0.15_all.deb display versions of Debian packages in an archive
madlib-doc_1.3.0-2_all.deb mesh adaptation library
madplay_0.15.2b-7build1_amd64.deb MPEG audio player in fixed point
madwimax_0.1.1-1_amd64.deb user-space driver for mWiMAX equipment based on Samsung CMC-730
mafft_6.850-1_amd64.deb Multiple alignment program for amino acid or nucleotide sequences
magic-haskell-doc_6_all.deb transitional dummy package
magic_7.5.214-1_amd64.deb VLSI layout tool
magicfilter_1.2-64_amd64.deb automatic printer filter
Advertisement
Advertisement