Changes between Version 35 and Version 36 of nutcracker

Show
Ignore:
Author:
johan (IP: 84.220.173.116)
Timestamp:
10/24/08 06:19:19 (1 year ago)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • nutcracker

    v35 v36  
    1515Nutcracker employs a FOL theorem prover and a FOL model builder. The current version of Nutcracker comes with interfaces for the theorem prover [http://www.ii.uni.wroc.pl/~nivelle/software/bliksem/index.html Bliksem] (by Hans de Nivelle) and the model builders [http://www.cs.unm.edu/~mccune/otter/ Mace] (by Bill McCune) and [http://www.math.chalmers.se/~koen/folkung/ Paradox] (by Koen Claessen). The binaries of these external programs need to go in the ext/bin directory.  
    1616 
    17 The distribution makefile attempts to download and install Bliksem, Mace and Paradox (1.0 and 2.3) via the following commands (currently only works reliably on linux platforms): 
     17The distribution makefile attempts to download and install Bliksem, Mace and Paradox (1.0, 2.3 or 3.0) via the following commands (currently only works reliably on linux platforms): 
    1818 
    1919{{{ 
    2222make ext/bin/paradox1 
    2323make ext/bin/paradox2 
     24make ext/bin/paradox3 
    2425}}} 
    2526