diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2016-07-11 15:17:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-11 15:17:21 +0200 |
| commit | 78705dee3fe8ee6de46f32faef40ff7ac86d2bf3 (patch) | |
| tree | aa77f8ed4f8c74697b0d7e53787ac43442fb35ad /README.md | |
| parent | 634926db3ebf03ca4be81d564144270a97c489b0 (diff) | |
| parent | 793d4b82702d64faf476efb1582973e06934d3d1 (diff) | |
| download | miasm-78705dee3fe8ee6de46f32faef40ff7ac86d2bf3.tar.gz miasm-78705dee3fe8ee6de46f32faef40ff7ac86d2bf3.zip | |
Merge pull request #394 from commial/update-z3
Update z3 requirement
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
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 ------------- |