mace2_3.3f-1.1_amd64.deb


Advertisement

Description

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

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name mace2
Package version 3.3f
Package release 1.1
Package architecture amd64
Package type deb
Installed size 1.10 KB
Download size 550.63 KB
Official Mirror ftp.br.debian.org
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 Debian Main
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/changelog.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
macfanctld_0.6+repack1-1_amd64.deb fan control daemon for Apple MacBook / MacBook Pro computers
macopix-gtk2_1.7.4-5+b1_amd64.deb Mascot Constructive Pilot for X based on GTK+ 2
macs_2.0.9.1-1_amd64.deb Model-based Analysis of ChIP-Seq on short reads sequencers
mactelnet-client_0.4.0-1+deb8u1_amd64.deb Console tools for telneting and pinging via MAC addresses
mactelnet-server_0.4.0-1+deb8u1_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-6_all.deb Datafiles for madbomber
madbomber_0.2.5-6_amd64.deb Kaboom! clone
madison-lite_0.20_all.deb display versions of Debian packages in an archive
madlib-doc_1.3.0-2.1_all.deb mesh adaptation library
madplay_0.15.2b-8_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
maelstrom_1.4.3-L3.0.6+main-6_amd64.deb An arcade-style game resembling Asteroids
mafft_7.205-1_amd64.deb Multiple alignment program for amino acid or nucleotide sequences
magic_7.5.241-1_amd64.deb VLSI layout tool
Advertisement
Advertisement