Port details on branch 2022Q2 |
- py-arybo Manipulation of mixed boolean-arithmetic symbolic expressions
- 1.1.0_1 math =0 1.1.0_1Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2021-09-29 06:12:07
- Last Update: 2023-06-27 19:34:34
- Commit Hash: 3d9a815
- License: BSD3CLAUSE
- WWW:
- https://github.com/quarkslab/arybo
- Description:
- Arybo is a software for manipulating canonicalization and identification of
mixed boolean-arithmetic symbolic 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}arybo>0:math/py-arybo@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-arybo/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-arybo
- pkg install py39-arybo
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above. NOTE: This is a Python port. Instead of py39-arybo listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py39-arybo
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1632893913
SHA256 (arybo-1.1.0.tar.gz) = 33fcee46786129bd43b8d8695164856f127761e32d57f03c0846ae2966ac62de
SIZE (arybo-1.1.0.tar.gz) = 26998
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- py39-ipython>0 : devel/ipython@py39
- py39-llvmlite>0 : devel/py-llvmlite@py39
- py39-networkx>=2.4 : math/py-networkx@py39
- py39-pytanque>=1.0 : math/py-pytanque@py39
- py39-six>0 : devel/py-six@py39
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_py-arybo
- USES:
- compiler:c++14-lang python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|