Changes between Version 25 and Version 26 of Introduction

Timestamp:

05/16/23 21:22:07 (3 years ago)

Author:

siegel

Comment:

--

Introduction

@@ -29 +29 @@
 1. Install the automated theorem prover CVC4, following instructions at http://cvc4.cs.stanford.edu/web/.  You only need the binary (`cvc4`), which must be in your `PATH`.
 1. Install the automated theorem prover Z3, following instructions at https://github.com/Z3Prover/z3.  You only need the binary (`z3`), which must be in your `PATH`.
-1. Install a Java 8 SDK.   Later versions of Java may also work.  See https://www.oracle.com/technetwork/java/javase/downloads/index.html.
+1. Install a Java 17 SDK.   Later versions of Java may also work.  See https://www.oracle.com/technetwork/java/javase/downloads/index.html.
 1. Download and unpack the latest stable release of CIVL from http://vsl.cis.udel.edu/lib/sw/civl/current/latest/release/.
 1. The resulting directory should be named CIVL-tag for some string tag which identifies the version of CIVL you downloaded. Move this directory wherever you like.