From ebec267f7d3753d2afc7e731966ed87d8eb3bab3 Mon Sep 17 00:00:00 2001
From: Aaron Bembenek <aaron.bembenek@gmail.com>
Date: Mon, 3 Feb 2020 09:54:40 -0500
Subject: [PATCH] README tweaks.

---
 README.md | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 3166ee08..2e00c819 100644
--- a/README.md
+++ b/README.md
@@ -3,19 +3,23 @@ Datalog with support for SMT queries.
 
 ## Setup
 
+Dependencies:
+
+* JRE 1.8+
+* The SMT solver Z3 (in particular, you need to have the `z3` binary on your
+  path)
+
 ### Prepackaged JAR
 
 You can find a prepackaged JAR file in the Releases section of the GitHub
-repository. You will need to separately install the SMT solver Z3 so that the
-executable `z3` is on your path.
+repository.
 
 ### Building from source
 
-Dependencies:
+Additional dependencies:
 
-* Maven
 * JDK 1.8+
-* Z3 (in particular, you need to have the `z3` binary on your path)
+* Maven
 
 To build an executable JAR, run the command `mvn package` from the project
 directory. This will create an executable JAR with a name like