Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions
Arybo is a software for manipulating such expressions using bit vectors and gives a bit-per-bit symbolic representation.
The ANF (Algebric Normal Form) form is used, which basically represents boolean expressions using the XOR and AND operators.
The whole documentation is available here: https://arybo.readthedocs.io
Under Linux/OSX, Arybo can be installed through pip for Python3:
$ pip3 install arybo
You will need at least clang 3.5 or GCC 4.9 to compile the python extension “pytanque”.
More details on the installation process can be found here: https://arybo.readthedocs.io/en/latest/setup.html
To quickly use Arybo, you can the IPython shell by simply launching iarybo:
# Starts an IPython interactive shell with 8-bit symbolic bits defined $ iarybo 8 In : x|0x7f Out:Vec([ 1, 1, 1, 1, 1, 1, 1, x7 ]) In : (x^y)&a Out: Vec([ ((x0 * a0) + (y0 * a0)), ((x1 * a1) + (y1 * a1)), ((x2 * a2) + (y2 * a2)), ((x3 * a3) + (y3 * a3)), ((x4 * a4) + (y4 * a4)), ((x5 * a5) + (y5 * a5)), ((x6 * a6) + (y6 * a6)), ((x7 * a7) + (y7 * a7)) ])
Tutorials can be found here: https://arybo.readthedocs.io/en/latest/tutorials.html. Advanced usage examples can be found in the ̀ examples` directory.
This is published under a BSD license (see LICENSE.txt file)
For any issue, do not hesitate to open an issue/create a pull request on Github.
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
|File Name & Checksum SHA256 Checksum Help||Version||File Type||Upload Date|
|arybo-0.1.8.tar.gz (14.2 kB) Copy SHA256 Checksum SHA256||–||Source||Sep 11, 2016|
|arybo-0.1.8.zip (23.9 kB) Copy SHA256 Checksum SHA256||–||Source||Sep 11, 2016|