Changes between Version 18 and Version 19 of Be a CIVL developer


Ignore:
Timestamp:
02/02/17 04:11:54 (9 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Be a CIVL developer

    v18 v19  
    2121
    2222== Set up CIVL in Eclipse ==
     231. 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]. Install Eclipse IDE for Java/EE developers if you have not already done so.
     24
    2325
    2426== Using Subversion in command-line ==