1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
<head>
<title>LADR Software Update</title>
</head>
<body>
<h1>LADR Software Update</h1>
<h2>Prover9</h2>
<ul>
<li><i>A <a href="index.html">Manual</a>!</i>
<li><a href="auto.html">Automatic Modes</a>
<li><a href="select.html">Selection of the Given Clause</a>
<li><a href="semantics.html">Semantic Guidance</a>
<li><a href="goals.html">Goals and Denials</a>
<li><a href="hints.html">Hints</a>
<li><a href="term-order.html">Term Ordering</a>
<li><a href="weight.html">Weighting</a>
<li><a href="attributes.html">Attributes</a>
<li><a href="actions.html">Actions</a>
<li><a href="output.html">Output Files</a>
<li><a href="fof-prover9.html">FOF Reduction</a>
<li><a href="prooftrans.html">Prooftrans</a>
</ul>
<h2><a href="mace4.html">Mace4</a></h2>
<ul>
<li>Compatibility with Prover9 Inputs
<li>Interpformat
</ul>
<h2><a href="others.html">Other LADR Programs</a></h2>
</body>
</html>
|
