pkgsrc-WIP-changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

py-dd: initial commit for bdd package in Python



Module Name:	pkgsrc-wip
Committed By:	mayuresh <mayuresh%acm.org@localhost>
Pushed By:	mayuresh
Date:		Sun Dec 31 15:27:25 2023 +0530
Changeset:	93833a32e28ec53ff6c41ebd75d6a37c674b545e

Added Files:
	py-dd/DESCR
	py-dd/Makefile
	py-dd/PLIST
	py-dd/distinfo

Log Message:
py-dd: initial commit for bdd package in Python

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=93833a32e28ec53ff6c41ebd75d6a37c674b545e

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 py-dd/DESCR    |  6 ++++++
 py-dd/Makefile | 16 ++++++++++++++++
 py-dd/PLIST    | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 py-dd/distinfo |  5 +++++
 4 files changed, 87 insertions(+)

diffs:
diff --git a/py-dd/DESCR b/py-dd/DESCR
new file mode 100644
index 0000000000..993d72f643
--- /dev/null
+++ b/py-dd/DESCR
@@ -0,0 +1,6 @@
+dd is a package for working with binary decision diagrams that includes both a
+pure Python implementation and Cython bindings to C libraries (CUDD, Sylvan,
+BuDDy). The Python and Cython modules implement the same API, so the same user
+code runs with both. All the standard operations on BDDs are available,
+including dynamic variable reordering using sifting, garbage collection,
+dump/load from files, plotting, and a parser of quantified Boolean expressions.
diff --git a/py-dd/Makefile b/py-dd/Makefile
new file mode 100644
index 0000000000..bbefac0288
--- /dev/null
+++ b/py-dd/Makefile
@@ -0,0 +1,16 @@
+# $NetBSD$
+
+DISTNAME=	dd-0.6.0
+PKGNAME=	${PYPKGPREFIX}-${DISTNAME}
+CATEGORIES=	devel
+MASTER_SITES=	${MASTER_SITE_PYPI:=d/dd/}
+
+MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=	https://pypi.org/project/dd/
+COMMENT=	Binary decision diagrams in Python, wrappers of CUDD, Sylvan, BuDDy
+LICENSE=	modified-bsd
+
+DEPENDS+=	${PYPKGPREFIX}-astutils>=0.0.5:../../wip/py-astutils
+
+.include "../../lang/python/wheel.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/py-dd/PLIST b/py-dd/PLIST
new file mode 100644
index 0000000000..810f04d13b
--- /dev/null
+++ b/py-dd/PLIST
@@ -0,0 +1,60 @@
+@comment $NetBSD$
+${PYSITELIB}/${WHEEL_INFODIR}/LICENSE
+${PYSITELIB}/${WHEEL_INFODIR}/METADATA
+${PYSITELIB}/${WHEEL_INFODIR}/RECORD
+${PYSITELIB}/${WHEEL_INFODIR}/WHEEL
+${PYSITELIB}/${WHEEL_INFODIR}/top_level.txt
+${PYSITELIB}/dd/__init__.py
+${PYSITELIB}/dd/__init__.pyc
+${PYSITELIB}/dd/__init__.pyo
+${PYSITELIB}/dd/_abc.py
+${PYSITELIB}/dd/_abc.pyc
+${PYSITELIB}/dd/_abc.pyo
+${PYSITELIB}/dd/_bdd_translator_state_machine.py
+${PYSITELIB}/dd/_bdd_translator_state_machine.pyc
+${PYSITELIB}/dd/_bdd_translator_state_machine.pyo
+${PYSITELIB}/dd/_compat.py
+${PYSITELIB}/dd/_compat.pyc
+${PYSITELIB}/dd/_compat.pyo
+${PYSITELIB}/dd/_copy.py
+${PYSITELIB}/dd/_copy.pyc
+${PYSITELIB}/dd/_copy.pyo
+${PYSITELIB}/dd/_cudd_addendum.c
+${PYSITELIB}/dd/_dddmp_parser_state_machine.py
+${PYSITELIB}/dd/_dddmp_parser_state_machine.pyc
+${PYSITELIB}/dd/_dddmp_parser_state_machine.pyo
+${PYSITELIB}/dd/_expr_parser_state_machine.py
+${PYSITELIB}/dd/_expr_parser_state_machine.pyc
+${PYSITELIB}/dd/_expr_parser_state_machine.pyo
+${PYSITELIB}/dd/_parser.py
+${PYSITELIB}/dd/_parser.pyc
+${PYSITELIB}/dd/_parser.pyo
+${PYSITELIB}/dd/_utils.py
+${PYSITELIB}/dd/_utils.pyc
+${PYSITELIB}/dd/_utils.pyo
+${PYSITELIB}/dd/_version.py
+${PYSITELIB}/dd/_version.pyc
+${PYSITELIB}/dd/_version.pyo
+${PYSITELIB}/dd/autoref.py
+${PYSITELIB}/dd/autoref.pyc
+${PYSITELIB}/dd/autoref.pyo
+${PYSITELIB}/dd/bdd.py
+${PYSITELIB}/dd/bdd.pyc
+${PYSITELIB}/dd/bdd.pyo
+${PYSITELIB}/dd/buddy.c
+${PYSITELIB}/dd/buddy.pyx
+${PYSITELIB}/dd/buddy_.pxd
+${PYSITELIB}/dd/c_sylvan.pxd
+${PYSITELIB}/dd/cudd.c
+${PYSITELIB}/dd/cudd.pyx
+${PYSITELIB}/dd/cudd_zdd.c
+${PYSITELIB}/dd/cudd_zdd.pyx
+${PYSITELIB}/dd/dddmp.py
+${PYSITELIB}/dd/dddmp.pyc
+${PYSITELIB}/dd/dddmp.pyo
+${PYSITELIB}/dd/mdd.py
+${PYSITELIB}/dd/mdd.pyc
+${PYSITELIB}/dd/mdd.pyo
+${PYSITELIB}/dd/py.typed
+${PYSITELIB}/dd/sylvan.c
+${PYSITELIB}/dd/sylvan.pyx
diff --git a/py-dd/distinfo b/py-dd/distinfo
new file mode 100644
index 0000000000..b30b4e0aff
--- /dev/null
+++ b/py-dd/distinfo
@@ -0,0 +1,5 @@
+$NetBSD$
+
+BLAKE2s (dd-0.6.0.tar.gz) = f6aae3da323690e4e7c8ceba4c265b72f4039dab73e0ba49c3c1c32391074b5c
+SHA512 (dd-0.6.0.tar.gz) = 017d033e638135e7944cca1e6f174e1440e601f07da591b0ad879fd2d97e9deb9b4adced838f1b020efe1a5463416d20229a67cf7ace6c7df65d0b557e4846c1
+Size (dd-0.6.0.tar.gz) = 1059332 bytes


Home | Main Index | Thread Index | Old Index