Path to this page:
./
math/otter,
Automated Deduction System
Branch: CURRENT,
Version: 3.0.6,
Package name: otter-3.0.6,
Maintainer: pkgsrc-usersOtter (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:
Filesize: 746.138 KB
Version history: (Expand)
- (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) | |
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.
|