pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
py-omega: initial commit
Module Name: pkgsrc-wip
Committed By: mayuresh <mayuresh%acm.org@localhost>
Pushed By: mayuresh
Date: Mon Jan 1 22:11:58 2024 +0530
Changeset: 572bbe7663443eadf931b74224bf416ae72f3e40
Added Files:
py-omega/DESCR
py-omega/Makefile
py-omega/PLIST
py-omega/distinfo
Log Message:
py-omega: initial commit
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=572bbe7663443eadf931b74224bf416ae72f3e40
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
py-omega/DESCR | 2 ++
py-omega/Makefile | 18 ++++++++++
py-omega/PLIST | 102 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
py-omega/distinfo | 5 +++
4 files changed, 127 insertions(+)
diffs:
diff --git a/py-omega/DESCR b/py-omega/DESCR
new file mode 100644
index 0000000000..55267f0f5a
--- /dev/null
+++ b/py-omega/DESCR
@@ -0,0 +1,2 @@
+A package of symbolic algorithms using binary decision diagrams (BDDs) for
+synthesizing implementations from temporal logic specifications.
diff --git a/py-omega/Makefile b/py-omega/Makefile
new file mode 100644
index 0000000000..f1a0387aad
--- /dev/null
+++ b/py-omega/Makefile
@@ -0,0 +1,18 @@
+# $NetBSD$
+
+DISTNAME= omega-0.3.1
+PKGNAME= ${PYPKGPREFIX}-${DISTNAME}
+CATEGORIES= devel
+MASTER_SITES= ${MASTER_SITE_PYPI:=o/omega/}
+
+MAINTAINER= pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE= https://pypi.org/project/omega/
+COMMENT= Specify and synthesize systems using symbolic algorithms
+LICENSE= modified-bsd
+
+DEPENDS+= ${PYPKGPREFIX}-networkx>=3.1:../../math/py-networkx
+DEPENDS+= ${PYPKGPREFIX}-humanize>=4.9.0:../../textproc/py-humanize
+DEPENDS+= ${PYPKGPREFIX}-natsort>=8.4.0:../../textproc/py-natsort
+
+.include "../../lang/python/wheel.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/py-omega/PLIST b/py-omega/PLIST
new file mode 100644
index 0000000000..9e7e1d05e0
--- /dev/null
+++ b/py-omega/PLIST
@@ -0,0 +1,102 @@
+@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}/omega/__init__.py
+${PYSITELIB}/omega/__init__.pyc
+${PYSITELIB}/omega/__init__.pyo
+${PYSITELIB}/omega/_version.py
+${PYSITELIB}/omega/_version.pyc
+${PYSITELIB}/omega/_version.pyo
+${PYSITELIB}/omega/automata.py
+${PYSITELIB}/omega/automata.pyc
+${PYSITELIB}/omega/automata.pyo
+${PYSITELIB}/omega/games/__init__.py
+${PYSITELIB}/omega/games/__init__.pyc
+${PYSITELIB}/omega/games/__init__.pyo
+${PYSITELIB}/omega/games/enumeration.py
+${PYSITELIB}/omega/games/enumeration.pyc
+${PYSITELIB}/omega/games/enumeration.pyo
+${PYSITELIB}/omega/games/gr1.py
+${PYSITELIB}/omega/games/gr1.pyc
+${PYSITELIB}/omega/games/gr1.pyo
+${PYSITELIB}/omega/gr1.py
+${PYSITELIB}/omega/gr1.pyc
+${PYSITELIB}/omega/gr1.pyo
+${PYSITELIB}/omega/logic/__init__.py
+${PYSITELIB}/omega/logic/__init__.pyc
+${PYSITELIB}/omega/logic/__init__.pyo
+${PYSITELIB}/omega/logic/ast.py
+${PYSITELIB}/omega/logic/ast.pyc
+${PYSITELIB}/omega/logic/ast.pyo
+${PYSITELIB}/omega/logic/bitvector.py
+${PYSITELIB}/omega/logic/bitvector.pyc
+${PYSITELIB}/omega/logic/bitvector.pyo
+${PYSITELIB}/omega/logic/lexyacc.py
+${PYSITELIB}/omega/logic/lexyacc.pyc
+${PYSITELIB}/omega/logic/lexyacc.pyo
+${PYSITELIB}/omega/logic/ltl_parsetab.py
+${PYSITELIB}/omega/logic/ltl_parsetab.pyc
+${PYSITELIB}/omega/logic/ltl_parsetab.pyo
+${PYSITELIB}/omega/logic/past.py
+${PYSITELIB}/omega/logic/past.pyc
+${PYSITELIB}/omega/logic/past.pyo
+${PYSITELIB}/omega/logic/syntax.py
+${PYSITELIB}/omega/logic/syntax.pyc
+${PYSITELIB}/omega/logic/syntax.pyo
+${PYSITELIB}/omega/logic/transformation.py
+${PYSITELIB}/omega/logic/transformation.pyc
+${PYSITELIB}/omega/logic/transformation.pyo
+${PYSITELIB}/omega/steps.py
+${PYSITELIB}/omega/steps.pyc
+${PYSITELIB}/omega/steps.pyo
+${PYSITELIB}/omega/symbolic/__init__.py
+${PYSITELIB}/omega/symbolic/__init__.pyc
+${PYSITELIB}/omega/symbolic/__init__.pyo
+${PYSITELIB}/omega/symbolic/_type_hints.py
+${PYSITELIB}/omega/symbolic/_type_hints.pyc
+${PYSITELIB}/omega/symbolic/_type_hints.pyo
+${PYSITELIB}/omega/symbolic/bdd.py
+${PYSITELIB}/omega/symbolic/bdd.pyc
+${PYSITELIB}/omega/symbolic/bdd.pyo
+${PYSITELIB}/omega/symbolic/bdd_iterative.py
+${PYSITELIB}/omega/symbolic/bdd_iterative.pyc
+${PYSITELIB}/omega/symbolic/bdd_iterative.pyo
+${PYSITELIB}/omega/symbolic/codegen.py
+${PYSITELIB}/omega/symbolic/codegen.pyc
+${PYSITELIB}/omega/symbolic/codegen.pyo
+${PYSITELIB}/omega/symbolic/cover.py
+${PYSITELIB}/omega/symbolic/cover.pyc
+${PYSITELIB}/omega/symbolic/cover.pyo
+${PYSITELIB}/omega/symbolic/cover_enum.py
+${PYSITELIB}/omega/symbolic/cover_enum.pyc
+${PYSITELIB}/omega/symbolic/cover_enum.pyo
+${PYSITELIB}/omega/symbolic/enumeration.py
+${PYSITELIB}/omega/symbolic/enumeration.pyc
+${PYSITELIB}/omega/symbolic/enumeration.pyo
+${PYSITELIB}/omega/symbolic/fixpoint.py
+${PYSITELIB}/omega/symbolic/fixpoint.pyc
+${PYSITELIB}/omega/symbolic/fixpoint.pyo
+${PYSITELIB}/omega/symbolic/fol.py
+${PYSITELIB}/omega/symbolic/fol.pyc
+${PYSITELIB}/omega/symbolic/fol.pyo
+${PYSITELIB}/omega/symbolic/functions.py
+${PYSITELIB}/omega/symbolic/functions.pyc
+${PYSITELIB}/omega/symbolic/functions.pyo
+${PYSITELIB}/omega/symbolic/logicizer.py
+${PYSITELIB}/omega/symbolic/logicizer.pyc
+${PYSITELIB}/omega/symbolic/logicizer.pyo
+${PYSITELIB}/omega/symbolic/orthotopes.py
+${PYSITELIB}/omega/symbolic/orthotopes.pyc
+${PYSITELIB}/omega/symbolic/orthotopes.pyo
+${PYSITELIB}/omega/symbolic/prime.py
+${PYSITELIB}/omega/symbolic/prime.pyc
+${PYSITELIB}/omega/symbolic/prime.pyo
+${PYSITELIB}/omega/symbolic/symbolic.py
+${PYSITELIB}/omega/symbolic/symbolic.pyc
+${PYSITELIB}/omega/symbolic/symbolic.pyo
+${PYSITELIB}/omega/symbolic/temporal.py
+${PYSITELIB}/omega/symbolic/temporal.pyc
+${PYSITELIB}/omega/symbolic/temporal.pyo
diff --git a/py-omega/distinfo b/py-omega/distinfo
new file mode 100644
index 0000000000..1f653399d8
--- /dev/null
+++ b/py-omega/distinfo
@@ -0,0 +1,5 @@
+$NetBSD$
+
+BLAKE2s (omega-0.3.1.tar.gz) = c00974f882269e23ff992d5b205ac304babc6bd676d02ac32e162a3a2d16086f
+SHA512 (omega-0.3.1.tar.gz) = e478584daa09e4f4d1f57033ea43a87d08fbf057e70b31c891fced9401eedd778bef88567103da1626b02528d583c424e615c0d471cdbed34c0828840fb0b87e
+Size (omega-0.3.1.tar.gz) = 200132 bytes
Home |
Main Index |
Thread Index |
Old Index