misc/otter 3.3f_4 FreeBSD

Theorem prover and finite model searcher

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
License: PD
Categories: misc
Package size: 845.8 KiB, 4474.0 KiB installed

Description

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

In the other systems

System

Port

Version

FreeBSD

misc/otter

3.3f_4

NetBSD

math/otter

3.0.6nb2

DragonFly

misc/otter

3.3f_4

Install

Binary package:

pkg install otter

From the ports tree:

cd /usr/ports/misc/otter/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	otter>0:misc/otter

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository

aarch64

amd64

armv6

armv7

i386

FreeBSD:14:latest

3.3f_4

FreeBSD:14:quarterly

3.3f_4

n/a

3.3f_4

FreeBSD:15:latest

3.3f_4

n/a

3.3f_4

FreeBSD:15:quarterly

3.3f_4

n/a

FreeBSD:16:latest

3.3f_4

n/a

FreeBSD:16:quarterly

n/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

The full lists below include those, and their dependencies in turn.

No port depends on this one.

Configuration

Options name: misc_otter

Option

Default

Description

DOCS

off

Build and/or install documentation

EXAMPLES

off

Build and/or install examples

USES: shebangfix
Service scripts: none

Files

pkg-plist 322

bin/anldp
bin/mace2
bin/otter
share/examples/otter/summary
share/examples/otter/Run_group
share/examples/otter/auto/robbins.out
share/examples/otter/auto/pigeon.in
share/examples/otter/auto/salt.in
share/examples/otter/auto/x2_quant.out
share/examples/otter/auto/lifsch.in
share/examples/otter/auto/mv25.out
share/examples/otter/auto/steam.in
share/examples/otter/auto/comm.in
share/examples/otter/auto/ring_x2.in
share/examples/otter/auto/tba_gg.in
share/examples/otter/auto/x2_quant.in
share/examples/otter/auto/w_sk.in
share/examples/otter/auto/z11.out
share/examples/otter/auto/pigeon.out
share/examples/otter/auto/comm.out
share/examples/otter/auto/salt.out
share/examples/otter/auto/lifsch.out
share/examples/otter/auto/sam.in
share/examples/otter/auto/steam.out
share/examples/otter/auto/wang1.in
share/examples/otter/auto/group.out
share/examples/otter/auto/cn19.out
share/examples/otter/auto/ec_yq.in
share/examples/otter/auto/ring_x2.out
share/examples/otter/auto/robbins.in
share/examples/otter/auto/ec_yq.out
share/examples/otter/auto/wang1.out
share/examples/otter/auto/w_sk.out
share/examples/otter/auto/group.in
share/examples/otter/auto/index.html
share/examples/otter/auto/README
share/examples/otter/auto/cn19.in
share/examples/otter/auto/z11.in
share/examples/otter/auto/sam.out
share/examples/otter/auto/tba_gg.out
share/examples/otter/auto/mv25.in
share/examples/otter/misc/sax1.in
share/examples/otter/misc/dem_alu.in
share/examples/otter/misc/sax2.in
share/examples/otter/misc/mv.in
share/examples/otter/misc/andrews.in
share/examples/otter/misc/dem_alu.out
share/examples/otter/misc/stage1.out
share/examples/otter/misc/str_bws.in.28752
share/examples/otter/misc/cn.in
share/examples/otter/misc/str_bws.in
share/examples/otter/misc/andrews.out
share/examples/otter/misc/kb_bench.in
share/examples/otter/misc/stage2.in
share/examples/otter/misc/dem_alu.in.28752
share/examples/otter/misc/andrews.in.28752
share/examples/otter/misc/cn.out
share/examples/otter/misc/stage2.out
share/examples/otter/misc/stage1.in
share/examples/otter/misc/mv.out
share/examples/otter/misc/index.html
share/examples/otter/misc/sax2.out
share/examples/otter/misc/README
share/examples/otter/misc/kb_bench.out
share/examples/otter/misc/mv.in.28752
share/examples/otter/misc/cn.in.28752
share/examples/otter/misc/str_bws.out
share/examples/otter/misc/sax1.out
share/examples/otter/misc/ec.out
share/examples/otter/misc/ec.in
share/examples/otter/Makefile
share/examples/otter/fringe/luka5h.out
share/examples/otter/fringe/lexical1.out
share/examples/otter/fringe/gl8.in
share/examples/otter/fringe/x3tricks.in
share/examples/otter/fringe/lexical2.in
share/examples/otter/fringe/if.in
share/examples/otter/fringe/lexical3.out
share/examples/otter/fringe/lexical2.out
share/examples/otter/fringe/mfl_13.out
share/examples/otter/fringe/gl8.out
share/examples/otter/fringe/mfl_13.in
share/examples/otter/fringe/gl4.out
share/examples/otter/fringe/rob_ocd.in
share/examples/otter/fringe/ec_yql.out
share/examples/otter/fringe/ec_yql.in.28897
share/examples/otter/fringe/rob_ocd.out
share/examples/otter/fringe/x3tricks.out
share/examples/otter/fringe/olsax_hints.in
share/examples/otter/fringe/bring.out
share/examples/otter/fringe/index.html
share/examples/otter/fringe/if.out
share/examples/otter/fringe/gl4.in.28897
share/examples/otter/fringe/gl4.in
share/examples/otter/fringe/README
share/examples/otter/fringe/luka5h.in
share/examples/otter/fringe/lexical1.in
share/examples/otter/fringe/bring.in
share/examples/otter/fringe/lexical3.in
share/examples/otter/fringe/ec_yql.in

The first 100 are listed.

distinfo 1

File

Size

SHA256

otter-3.3f.tar.gz

2.554827e+06

392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a

Master sites 1

http://www-unix.mcs.anl.gov/AR/otter/dist33/

Commit history 0

No commits in the history this site was built from.