FreeBSD.software

Home/misc/otter

otter

3.3f_4

Theorem prover and finite model searcher

Otter is an automated deduction system (theorem prover) for first-order logic with equality developed at Argonne National Laboratories.

Origin: misc/otter

Category: misc

Size: 4.39MiB

License: PD

Maintainer: wollman@FreeBSD.org

Dependencies: 0 packages

Required by: 0 packages

Website: www-unix.mcs.anl.gov/AR/otter

$pkg install otter

More in misc

shared-mime-info2.4_2

MIME types database from the freedesktop.org project

libuuid2.41.1_1

Library to generate or parse 128-bit Universally Unique IDs (UUIDs)

iso-codes4.19.0

Lists of ISO standards, e.g. country, language, language scripts and currency names

py311-tqdm4.67.1

Fast, extensible progress bar for Python

py311-pytorch2.8.0_4

PyTorch: Tensors and dynamic neural networks in Python

rubygem-mime-types3.7.0

Ruby gem which provides a mailcap-like MIME Content-Type lookup

en-freebsd-doc20260213,1

Documentation from the FreeBSD Documentation Project

kf6-purpose6.22.0

Offers available actions for a specific purpose

SoapySDR0.8.1_1

Vendor and platform neutral SDR support library

hicolor-icon-theme0.18

High-color icon theme shell from the FreeDesktop project