ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	Otter is an automated deduction system (theorem prover) for	Renato Botelho	2006-02-06	1	-0/+5
	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 Notes: svn path=/head/; revision=155355