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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
<head>
<title>Prover9 Manual: Installation</title>
<link rel="stylesheet" href="manual.css">
</head>
<body>
<hr>
<table width="100%">
<tr>
<colgroup>
<col width="33%">
<col width="34%">
<col width="33%">
</colgroup>
<td align="left"><i>Prover9 Manual</i>
<td align="center"><img src="prover9-5a-256t.gif">
<td align="right"><i>Version 2009-02A</i>
</table>
<hr>
<!-- Main content -->
<h1>Installing Prover9, Mace4, and Friends</h1>
<h2>Unix-like Systems</h2>
Here is a quick example for Unix-like systems, including Linux and Macintosh OS X.
Visit the <a href=http://www.cs.unm.edu/~mccune/prover9/>Prover9 Web page</a>
and download the current version of LADR. The filename should be something
like <tt>LADR-June-2006A.tar.gz</tt>; make sure that file is in your current
directory. Run the following commands.
<pre class="my_job">
% zcat LADR-June-2006A.tar.gz | tar xvf -
% cd LADR-June-2006A
% make all
</pre>
<p>
Prover9, Mace4, Prooftrans, and several other programs should now
be in the directory <tt>LADR-June-2006A/bin</tt>. You can either include
that directory in your search path or copy those programs to
some directory that is already in your search path.
<h2>Microsoft Windows</h2>
For now, see that the
<a href=http://www.cs.unm.edu/~mccune/prover9/>Prover9 Web page</a>.
<hr>
Next Section:
<a href="running.html">Running Prover9</a>
</body>
</html>
|
