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 (
Help us improve Python packaging - Donate today!

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

Project Description


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:

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:

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
In [2]: (x^y)&a
((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: 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.

Release History

This version
History Node


Download Files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Filename, Size & Hash SHA256 Hash Help File Type Python Version Upload Date
(14.2 kB) Copy SHA256 Hash SHA256
Source None Sep 11, 2016
(23.9 kB) Copy SHA256 Hash SHA256
Source None Sep 11, 2016

Supported By

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 Google Google Cloud Servers DreamHost DreamHost Log Hosting