Filewatcher File Search File Search
Catalog
Content Search
» » » » »

mace2

program that searches for finite models of first-order statements

Variants:
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.

Homepage:-
Package version:3.3f-1.1
Architecture:amd64
Distribution:Debian
Filename:mace2_3.3f-1.1_amd64.deb

/usr/share/doc/mace2/README

        ------------------
        Otter, Version 3.3    Search for Proofs
        ------------------
        ------------------
        Mace,  Version 2.2    Search for Countermodels
        ------------------

(Also see index.html in this directory.)

----------------
OTTER HIGHLIGHTS
----------------

Over the years we've added many experimental features to Otter,
but the basic functions haven'
more»

/usr/share/doc/mace2/README.Ivy

Ivy is a system that checks Otter proofs and MACE models.
Ivy is coded in ACL2 and many soundness metatheorems have
been proved about the various programs in Ivy.  See 

       http://www.mcs.anl.gov/~mccune/acl2/ivy

Ivy-2 is the current version.  Otter-3.0.6 and MACE-1.3.4
come bundled with Ivy-2.  If you wish to have Ivy-2 call Otter-3.3
and MACE-2. instead, you can do so by updating 2 Ivy file
more»

/usr/share/doc/mace2/examples/Perl-examples/README

This directory contains an example of a Perl program that
calls MACE.

File Sheffer-mgi-without-mirrors contains Boolean algebra
identities alpha=x in terms of the Sheffer stroke.  Every such,
identity of length <= 15, or its mirror image, is subsumed by a
member of that file.

The Perl program commute4_filter goes through a file of
equations (one equation per line) and calls MACE for each,
lookin
more»

/usr/share/doc/mace2/examples/README

On a UNIX system, you should be able to run all of the tests
with the following command.

  % ./Run_
more»

/usr/share/doc/mace2/examples/basic/README

Examples for a fixed domain size.

/usr/share/doc/mace2/examples/iterate/README

Examples that iterate through domain sizes.

/usr/share/doc/mace2/examples/lattice/README

Examples on the relationships between various varieties of lattice.

/usr/share/doc/mace2/examples/propositional/README

Propositional examples for anldp.

Browse inside mace2_3.3f-1.1_amd64.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download mace2_3.3f-1.1_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com