Carview!

CARVIEW

MOTORHOMES

Select Language

HTTP/2 200 expires: Thu, 19 Nov 1981 08:52:00 GMT cache-control: no-store, no-cache, must-revalidate pragma: no-cache set-cookie: PHPSESSID=h33totgth0ocj623e5f45r4lo7; path=/ content-type: text/html; charset=UTF-8 date: Mon, 29 Dec 2025 01:54:35 GMT server: Apache pkgsrc.se | The NetBSD package collection

Skip to main content.

./math/otter, Automated Deduction System

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 3.0.6, Package name: otter-3.0.6, Maintainer: pkgsrc-users

Otter (Organized Techniques for Theorem-proving and Effective
Research) is a resolution-style theorem-proving program for
first-order logic with equality. Otter includes the inference rules
binary resolution, hyperresolution, UR-resolution, and binary
paramodulation. Some of its other abilities and features are
conversion from first-order formulas to clauses, forward and back
subsumption, factoring, weighting, answer literals, term ordering,
forward and back demodulation, evaluable functions and predicates, and
Knuth-Bendix completion. Otter is coded in C, is free, and is
portable to many different kinds of computer.

Required to build:
[pkgtools/cwrappers]

Master sites:

https://www.cs.unm.edu/~mccune/otter/ (Download)

Filesize: 746.138 KB

Version history: (Expand)

(2025-10-24) Package has been reborn
(2025-10-24) Package deleted from pkgsrc
(2025-07-15) Package has been reborn
(2025-07-15) Package deleted from pkgsrc
(2005-10-05) Package added to pkgsrc.se, version otter-3.0.6 (created)

CVS history: (Expand)

2021-10-26 12:56:13 by Nia Alarie | Files touched by this commit (458)

Log message:
math: Replace RMD160 checksums with BLAKE2s checksums
All checksums have been double-checked against existing RMD160 and
SHA512 hashes

2021-10-07 16:28:36 by Nia Alarie | Files touched by this commit (458)

Log message:
math: Remove SHA1 hashes for distfiles

2021-04-25 08:36:52 by Thomas Klausner | Files touched by this commit (1) | Package updated

Log message:
otter: update links

2015-11-04 00:33:46 by Alistair G. Crooks | Files touched by this commit (262)

Log message:
Add SHA512 digests for distfiles for math category
Problems found locating distfiles:
	Package dfftpack: missing distfile dfftpack-20001209.tar.gz
	Package eispack: missing distfile eispack-20001130.tar.gz
	Package fftpack: missing distfile fftpack-20001130.tar.gz
	Package linpack: missing distfile linpack-20010510.tar.gz
	Package minpack: missing distfile minpack-20001130.tar.gz
	Package odepack: missing distfile odepack-20001130.tar.gz
	Package py-networkx: missing distfile networkx-1.10.tar.gz
	Package py-sympy: missing distfile sympy-0.7.6.1.tar.gz
	Package quadpack: missing distfile quadpack-20001130.tar.gz
Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.

2012-09-12 01:04:36 by Aleksej Saushev | Files touched by this commit (180)

Log message:
"user-destdir" is default these days

2009-06-14 20:05:51 by Joerg Sonnenberger | Files touched by this commit (88)

Log message:
Remove @dirrm entries from PLISTs

2008-03-04 19:12:59 by Johnny C. Lam | Files touched by this commit (30)

Log message:
Mechanical changes to add DESTDIR support to packages that install
their files via a custom do-install target.

2006-10-04 23:47:58 by Thomas Klausner | Files touched by this commit (13)

Log message:
Update MASTER_SITES and/or HOMEPAGE, from Sergey Svishchev.

Original Source | Taken Source