BSD Ports

math/py-arybo 1.1.0_3 FreeBSD

Manipulation of mixed boolean-arithmetic symbolic expressions

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
License
BSD3CLAUSE
Categories
math
Package size
75.5 KiB, 444.9 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

SystemPortVersion
FreeBSDmath/py-arybo1.1.0_3
DragonFlymath/py-arybo1.1.0_2

Install

Binary package:

pkg install py312-arybo

From the ports tree:

cd /usr/ports/math/py-arybo/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	py312-arybo>0:math/py-arybo

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest1.1.0_31.1.0_3-1.1.0_21.1.0_3
FreeBSD:14:quarterly1.1.0_31.1.0_3n/a1.1.0_21.1.0_3
FreeBSD:15:latest1.1.0_31.1.0_3n/a1.1.0_21.1.0_2
FreeBSD:15:quarterly1.1.0_31.1.0_3n/an/an/a
FreeBSD:16:latest1.1.0_31.1.0_3n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Runtime 5

The full lists below include those, and their dependencies in turn.

Build dependencies 11
Run dependencies 182

The first 100 are listed.

No port depends on this one.

Configuration

No options to configure.

USES
compiler:c++14-lang python
Service scripts
none

Files

distinfo 1
FileSizeSHA256
arybo-1.1.0.tar.gz2699833fcee46786129bd43b8d8695164856f127761e32d57f03c0846ae2966ac62de
Master sites 1
  • PYPI

Commit history 0

No commits in the history this site was built from.