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
