Changes between Version 54 and Version 55 of Be a CIVL developer


Ignore:
Timestamp:
02/09/23 13:14:44 (3 years ago)
Author:
Alex Wilton
Comment:

Removed instruction to install cvc3

Legend:

Unmodified
Added
Removed
Modified

  • Be a CIVL developer

    v54 v55  
    2222
    2323== How to set up CIVL in Eclipse ==
    24 1. Install  theorem provers [http://www.cs.nyu.edu/acsys/cvc3/ cvc3], [https://github.com/CVC4/CVC4 cvc4] and [https://github.com/Z3Prover/z3/releases z3] following the instructions provided with those tools.  CIVL uses only the command line interface for these tools, so you don't have to worry about installing libraries or anything other than the executable binary.   Make sure the executable is somewhere in your PATH.
     241. Install  theorem provers [https://github.com/CVC4/CVC4 cvc4] and [https://github.com/Z3Prover/z3/releases z3] following the instructions provided with those tools.  CIVL uses only the command line interface for these tools, so you don't have to worry about installing libraries or anything other than the executable binary.   Make sure the executable is somewhere in your PATH.
    25251. Install Eclipse IDE for Java/EE developers if you have not already done so.
    26261. Install an SVN plugin in Eclipse (such as Subversive) if you have not already done so.