Skip to main content
Warning: You are using the test version of PyPI. This is a pre-production deployment of Warehouse. Changes made here affect the production instance of TestPyPI (testpypi.python.org).
Help us improve Python packaging - Donate today!

Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions

Project Description

Arybo

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

Quick start

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 [1]: x|0x7f
Out[1]:Vec([
1,
1,
1,
1,
1,
1,
1,
x7
])
In [2]: (x^y)&a
Out[2]:
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.

License

This is published under a BSD license (see LICENSE.txt file)

Contact

For any issue, do not hesitate to open an issue/create a pull request on Github.

Release History

Release History

This version
History Node

0.1.8

Download Files

Download Files

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

Supported By

WebFaction WebFaction Technical Writing Elastic Elastic Search Pingdom Pingdom Monitoring Dyn Dyn DNS Sentry Sentry Error Logging CloudAMQP CloudAMQP RabbitMQ Heroku Heroku PaaS Kabu Creative Kabu Creative UX & Design Fastly Fastly CDN DigiCert DigiCert EV Certificate Rackspace Rackspace Cloud Servers DreamHost DreamHost Log Hosting