pkg-descr « otter « misc - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/misc/otter/pkg-descr

blob: f121f8a3a14947220c31caf6ebaa8e1c1faf48e6 (plain) (blame)

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/