From f2448ba8c4ccab8207b292dee4bc1aae0f713509 Mon Sep 17 00:00:00 2001
From: Jonathan Chan <jonathanhwchan@gmail.com>
Date: Wed, 23 Aug 2023 16:27:14 -0700
Subject: [PATCH] Add Z3 requirement to README.

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 3396285..7ea580b 100644
--- a/README.md
+++ b/README.md
@@ -6,6 +6,7 @@ extended with datatypes, recursive global functions, and level inference.
 ## Installation
 
 This project requires Stack and Cabal, and has been tested with GHC 9.2.7.
+It also uses Z3 to solve level constraints, and has been tested with version 4.12.1.
 To compile the type checker, run `stack build`.
 To check a file `<file>`, run `stack exec -- stratt <file>`.
 If successful, the definitions in that file will be printed out