./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:

Filesize: 746.138 KB

Version history: (Expand)


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.