/otter, Automated Deduction System
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.
Master sites: SHA1:
Version history: (Expand)
- (2005-10-05) Package added to pkgsrc.se, version otter-3.0.6 (created)
CVS history: (Expand)
| 2015-11-04 00:33:46 by Alistair G. Crooks | Files touched by this commit (262) |
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) |
"user-destdir" is default these days
| 2009-06-14 20:05:51 by Joerg Sonnenberger | Files touched by this commit (88) |
Remove @dirrm entries from PLISTs
| 2008-03-04 19:12:59 by Johnny C. Lam | Files touched by this commit (30) |
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) | |
Update MASTER_SITES and/or HOMEPAGE, from Sergey Svishchev.
| 2006-03-04 22:31:14 by Johnny C. Lam | Files touched by this commit (2257) |
Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no
developer is officially maintaining the package.
The rationale for changing this from "tech-pkg" to \
that it implies that any user can try to maintain the package (by
submitting patches to the mailing list). Since the folks most likely
to care about the package are the folks that want to use it or are
already using it, this would leverage the energy of users who aren't
| 2005-06-17 05:50:45 by Johnny C. Lam | Files touched by this commit (387) |
Create directories before installing files into them.
| 2005-02-23 13:06:59 by Alistair G. Crooks | Files touched by this commit (101) |
Add RMD160 digests in addition to SHA1 ones.