UNC-CH/ CS/ Mechanized Inference/ Provers

Provers - all big files are tar'ed and compressed
o SPRFN - Simplified Problem Reduction Format
[program (25Kb)] [manual (18Kb)] [sample inputs (48Kb)]
o CLIN - an instance-based Clause-Linking refutation prover
[program (87Kb)] [manual (26Kb)] [sample inputs (65Kb)]
o CLIN-S - Clause Linking with Semantics
[program (347Kb)] [manual (44Kb)] [sample inputs (184Kb)]
[compiled program (1.9Mb)] (needs Quintus run-time package)
[installation instructions (1Kb)]
o CLIN-E - Clause Linking with Equality

plaisted@cs.unc.edu, 21-Mar-96
If you have a link to this page...