Metadata-Version: 2.1
Name: arybo
Version: 1.1.0
Summary: Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions
Home-page: https://github.com/quarkslab/arybo
Download-URL: https://github.com/quarkslab/arybo/releases
Author: Adrien Guinet
Author-email: aguinet@quarkslab.com
License: BSD
Keywords: symbolic computation canonicalization boolean-arithmetic expressions
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Science/Research
Classifier: Intended Audience :: Developers
Classifier: Topic :: Software Development :: Build Tools
Classifier: Topic :: Security
Classifier: Topic :: Scientific/Engineering
Classifier: License :: OSI Approved :: BSD License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
License-File: LICENSE.txt
Requires-Dist: networkx==2.4
Requires-Dist: pytanque>=1.0
Requires-Dist: six
