diff options
| author | garga <garga@FreeBSD.org> | 2006-02-07 01:36:47 +0800 |
|---|---|---|
| committer | garga <garga@FreeBSD.org> | 2006-02-07 01:36:47 +0800 |
| commit | 3f149d1d9ebb32c4ed186d63e26e4d808642227b (patch) | |
| tree | d60e96d308731cad2ddbb6c9c2259b2bf558c91e /misc/Makefile | |
| parent | f753ca6c13486868b7b7432a4f7dc7c12bc13c32 (diff) | |
| download | freebsd-ports-gnome-3f149d1d9ebb32c4ed186d63e26e4d808642227b.tar.gz freebsd-ports-gnome-3f149d1d9ebb32c4ed186d63e26e4d808642227b.tar.zst freebsd-ports-gnome-3f149d1d9ebb32c4ed186d63e26e4d808642227b.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
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 |