From 793d4b82702d64faf476efb1582973e06934d3d1 Mon Sep 17 00:00:00 2001 From: Ajax Date: Mon, 11 Jul 2016 12:31:30 +0200 Subject: Update z3 requirement --- README.md | 3 +++ 1 file changed, 3 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 4ce234cf..09a5d44e 100644 --- a/README.md +++ b/README.md @@ -456,6 +456,9 @@ To enable code JIT, one of the following module is mandatory: * LLVM v3.2 with python-llvm, see below * LibTCC [tinycc (ONLY version 0.9.26)](http://repo.or.cz/w/tinycc.git) +'optional' Miasm can also use: +* Z3, the [Theorem Prover](https://github.com/Z3Prover/z3) + Configuration ------------- -- cgit 1.4.1