semvec/pypi-packages huggingface dataset:
arybo 0.2.0
Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions
License: BSD
Keywords: symbolic computation canonicalization boolean-arithmetic expressions

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://pythonhosted.org/arybo/

Quick start
===========

Under Linux/OSX/Windows, Arybo can be installed through pip for Python 2 and 3:

.. code::

   $ pip install arybo

Please note that Python 2 support for pytanque under Windows isn't available, as the
official compiler for Python extensions is Visual Studio 2010, which can't
compile libpetanque.

You will need at least clang 3.5 or GCC 4.9 to compile the python extension
"pytanque" under Linux/OS

More details on the installation process can be found here: https://pythonhosted.org/arybo/setup.html

To quickly use Arybo, you can the IPython shell by simply launching ``iarybo``:

.. code::

   # Starts an IPython interactive shell with 8-bit symbolic variables 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://pythonhosted.org/arybo/tutorial.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.
django-better-test 0.10
A better test command for Django
License: BSD

##################
django-better-test
##################

A better test command for Django. Allows you to use ``--parallel`` to run tests
in parallel (distributed as evenly as possible across your CPU cores) and
``--isolate`` to run each test in a separate process to detect test that leak
state. You can also quickly re-run the tests failed in the last run using
``--failed``. To show which tests are slowing you down, use
``--list-slow=<number>`` to show the ``<number>`` slowest tests in your test
suite. To simply re-run the tests using the last configuration, use
``--retest``.

Simply add ``better_test`` to your ``INSTALLED_APPS`` and use
``manage.py test --help for all options``.