Dear mentors, I am looking for a sponsor for my package "otter". * Package name : otter Version : 3.3f-1 Upstream Author : William McCune <otter@mcs.anl.gov> * URL : http://www.cs.unm.edu/~mccune/otter/ * License : public domain Section : math It builds these binary packages: otter - resolution-style theorem prover mace2 - program that searches for finite models of first-order statements formed - formula editor for first-order logic formulae The package is lintian/linda/pbuilder clean. The package can be found at http://www.doc.ic.ac.uk/~pcc03/tmp/debian/otter_3.3f-1.diff.gz http://www.doc.ic.ac.uk/~pcc03/tmp/debian/otter_3.3f-1.dsc http://www.doc.ic.ac.uk/~pcc03/tmp/debian/otter_3.3f.orig.tar.gz Thanks, -- Peter
Attachment:
pgpJeBtwoIXeX.pgp
Description: PGP signature