mace2_3.3f-1.1_amd64.deb


Advertisement

Description

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

Distribution: Debian 7 (Wheezy)
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

Requires

    Download

    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

    • /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

    Advertisement
    Advertisement