K 10
svn:author
V 5
garga
K 8
svn:date
V 27
2006-02-06T17:36:47.000000Z
K 7
svn:log
V 220
Otter is an automated deduction system (theorem prover) for
first-order logic with equality developed at Argonne National
Laboratories.

WWW: http://www-unix.mcs.anl.gov/AR/otter/

PR:		ports/92834
Submitted by:	wollman

END