diff options
| author | Renato Botelho <garga@FreeBSD.org> | 2006-02-06 17:36:47 +0000 |
|---|---|---|
| committer | Renato Botelho <garga@FreeBSD.org> | 2006-02-06 17:36:47 +0000 |
| commit | 58ad5d751d136b784ab0f8ec370b9b32e0485f96 (patch) | |
| tree | a972a510cc2f4a37e6984f56356238329ae6b7d4 /misc/Makefile | |
| parent | b2369d875532265dccbe75044527e4f96e7f5c49 (diff) | |
| download | ports-58ad5d751d136b784ab0f8ec370b9b32e0485f96.tar.gz ports-58ad5d751d136b784ab0f8ec370b9b32e0485f96.zip | |
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
Notes
Notes:
svn path=/head/; revision=155355
Diffstat (limited to 'misc/Makefile')
| -rw-r--r-- | misc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/Makefile b/misc/Makefile index 9cb3c4d6317c..1b25d35c96c2 100644 --- a/misc/Makefile +++ b/misc/Makefile @@ -322,6 +322,7 @@ SUBDIR += opencyc SUBDIR += orville-write SUBDIR += ossp-uuid + SUBDIR += otter SUBDIR += p5-Array-Compare SUBDIR += p5-Array-IntSpan SUBDIR += p5-Array-PrintCols |