Metadata-Version: 2.4
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
Dynamic: author
Dynamic: author-email
Dynamic: classifier
Dynamic: download-url
Dynamic: home-page
Dynamic: keywords
Dynamic: license
Dynamic: license-file
Dynamic: requires-dist
Dynamic: summary
