BSD Portsmath/py-arybo 1.1.0_2 DragonFly
Manipulation of mixed boolean-arithmetic symbolic expressions
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- BSD3CLAUSE
- Categories
- math
- Package size
- 72.3 KiB, 483.4 KiB installed
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.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/py-arybo | 1.1.0_2 |
| FreeBSD | math/py-arybo | 1.1.0_3 |
| HardenedBSD | math/py-arybo | 1.1.0_3 |
Install
Binary package:
pkg install py311-aryboFrom DPorts:
cd /usr/dports/math/py-arybo && make install cleanDependencies
Run dependencies 6
No port depends on this one.