kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
196611 commits 42 branches 80 tags 2.7 GiB
Commit graph

1 commit

Author SHA1 Message Date
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