/z3ncoder

Addresses encoder using z3 solver

Primary LanguagePythonMIT LicenseMIT

Z3ncoder

z3ncoder is a simple script made for encoding addresses using the subtraction technique described here and here and the z3 theorem solver

Install

$ git clone https://github.com/marcosValle/z3ncoder
$ cd z3ncoder
$ pip install z3-solver
$ python3 solve.py

Example

Example