Debian Developers - Bug#397257: ITP: otter -- resolution-style theorem prover

This is Interesting: Free IT Magazines  
Home > Archive > Debian Developers > November 2006 > Bug#397257: ITP: otter -- resolution-style theorem prover





You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author Bug#397257: ITP: otter -- resolution-style theorem prover
Peter Collingbourne

2006-11-06, 1:27 am

Package: wnpp
Severity: wishlist
Owner: Peter Collingbourne <pcc03@doc.ic.ac.uk>


* Package name : otter
Version : 3.3f
Upstream Author : William McCune <otter@mcs.anl.gov>
* URL : http://www.cs.unm.edu/~mccune/otter/
* License : public domain
Programming Lang: C
Description : resolution-style theorem prover

OTTER is an automated theorem prover for equational logic developed
at Argonne National Laboratory.
Sponsored Links






Free braindumps | Software forum | Database administration forum

Copyright 2003 - 2008 webservertalk.com