kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

math/py-arybo: New port: Manipulation of mixed boolean-arithmetic symbolic expressions

Browse source
This commit is contained in:
Yuri Victorovich 2021-09-28 23:07:19 -07:00
parent 1e427d2595
commit 39cfa300db
4 changed files with 35 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
math/Makefile
View file

@ -794,6 +794,7 @@
SUBDIR += py-amply
SUBDIR += py-apgl
SUBDIR += py-arviz
SUBDIR += py-arybo
SUBDIR += py-autograd
SUBDIR += py-baycomp
SUBDIR += py-bayesian-optimization

23
math/py-arybo/Makefile Normal file
View file

@ -0,0 +1,23 @@
PORTNAME= arybo
DISTVERSION= 1.1.0
CATEGORIES= math
MASTER_SITES= CHEESESHOP
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
MAINTAINER= yuri@FreeBSD.org
COMMENT= Manipulation of mixed boolean-arithmetic symbolic expressions
LICENSE= BSD3CLAUSE
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}ipython>0:devel/ipython@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}llvmlite>0:devel/py-llvmlite@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}networkx>=2.4:math/py-networkx@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}pytanque>=1.0:math/py-pytanque@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}six>0:devel/py-six@${PY_FLAVOR}
USES= compiler:c++14-lang python:3.5+
USE_PYTHON= distutils concurrent autoplist
NO_ARCH= yes
.include <bsd.port.mk>

3
math/py-arybo/distinfo Normal file
View file

@ -0,0 +1,3 @@
TIMESTAMP = 1632893913
SHA256 (arybo-1.1.0.tar.gz) = 33fcee46786129bd43b8d8695164856f127761e32d57f03c0846ae2966ac62de
SIZE (arybo-1.1.0.tar.gz) = 26998

8
math/py-arybo/pkg-descr Normal file
View file

@ -0,0 +1,8 @@
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.
WWW: https://github.com/quarkslab/arybo