Renato Botelho 58ad5d751d 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		2006-02-06 17:36:47 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist