Provers - all big files are tar'ed and compressed
-
SPRFN - Simplified Problem Reduction Format
-
[program (25Kb)]
[manual (18Kb)]
[sample inputs (48Kb)]
-
CLIN - an instance-based Clause-Linking refutation prover
-
[program (87Kb)]
[manual (26Kb)]
[sample inputs (65Kb)]
-
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)]
-
CLIN-E - Clause Linking with Equality
-
[N/A]
plaisted@cs.unc.edu,
21-Mar-96
If you have a link to this page...