z3ncoder is a simple script made for encoding addresses using the subtraction technique described here and here and the z3 theorem solver
$ git clone https://github.com/marcosValle/z3ncoder
$ cd z3ncoder
$ pip install z3-solver
$ python3 solve.py
Repository navigation
forked from marcosValle/z3ncoder
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|