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

Master sites:

SHA1: 4d62fbeaf3464641bf63c2cd97a15a13ee81a858
RMD160: 7bcf1ca173ed06dc34d46a242ec5adbd5dca494b
Filesize: 746.138 KB

Version history: (Expand)

CVS history: (Expand)

   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-
	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) | Package updated
Log message:
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)
Log message:
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 \ 
"pkgsrc-users" is
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)
Log message:
Create directories before installing files into them.
   2005-02-23 13:06:59 by Alistair G. Crooks | Files touched by this commit (101)
Log message:
Add RMD160 digests in addition to SHA1 ones.