http://directory.fsf.org/wiki?title=Otter_Mace&feed=atom&action=history 2013-05-22T07:01:46Z Revision history for this page on the wiki MediaWiki 1.20.2 http://directory.fsf.org/wiki?title=Otter_Mace&diff=6172&oldid=prev 2011-04-12T15:04:56Z

<p>Created page with &quot;{{Entry |Name=Otter/Mace |Short description=automated deduction system |Full description=Otter is an automated theorem prover for first-order and equational logic, and Mace2 sear...&quot;</p> <p><b>New page</b></p><div>{{Entry<br /> |Name=Otter/Mace<br /> |Short description=automated deduction system<br /> |Full description=Otter is an automated theorem prover for first-order and equational logic, and Mace2 searches for finite models and counterexamples. Otter/Mace2 are no longer being actively developed, and maintenance and support minimal. We recommend using Otter/Mace2's successor Prover9/Mace4 instead.<br /> |User level=intermediate<br /> |Status=Live<br /> |Component programs=<br /> |Homepage URL=http://www-unix.mcs.anl.gov/AR/otter/#avail<br /> |VCS checkout command=<br /> |Computer languages=ANSI C<br /> |Documentation note=<br /> |Paid support=<br /> |IRC help=<br /> |IRC general=<br /> |IRC development=<br /> |Related projects=Prover_9<br /> |Keywords=model,finite,logic,equational,theorem proving,theorem,theorem prover,first-order,otter,mace<br /> |Is GNU=n<br /> |Last review by=Deb Nicholson<br /> |Last review date=2008-06-24<br /> |Submitted by=Database conversion<br /> |Submitted date=2011-04-01<br /> |Version identifier=3.3<br /> |Version date=2004-08-01<br /> |Version status=mature<br /> |Version download=http://www.cs.unm.edu/~mccune/otter/otter-3.3f.tar.gz<br /> |License verified date=2008-06-24<br /> |Version comment=<br /> }}<br /> {{Person<br /> |Role=Sponsor<br /> |Real name=Otter (unmaintained)<br /> |Email=<br /> |Resource URL=http://www-unix.mcs.anl.gov/AR/otter/#avail<br /> }}<br /> {{Software category<br /> |Interface=command-line,daemon<br /> |Mathematics=proof-checker,theorem-prover<br /> |Use=mathematics<br /> }}<br /> {{Project license<br /> |License=SimplePermissive<br /> |License verified by=Deborah Nicholson<br /> |License verified date=2008-06-24<br /> }}</div>

WikiSysop