[pkgsrc/trunk]: pkgsrc/math/py-smt Import PySMT-0.9.0 as math/py-smt.

[riastradh <riastradh%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/0d6db038f4eb
branches:  trunk
changeset: 437220:0d6db038f4eb
user:      riastradh <riastradh%pkgsrc.org@localhost>
date:      Tue Aug 18 20:14:33 2020 +0000

description:
Import PySMT-0.9.0 as math/py-smt.

pySMT is a solver-agnostic library for SMT Formulae manipulation and
solving.

diffstat:

 math/py-smt/DESCR    |   13 +
 math/py-smt/Makefile |   36 ++++
 math/py-smt/PLIST    |  374 +++++++++++++++++++++++++++++++++++++++++++++++++++
 math/py-smt/distinfo |    6 +
 4 files changed, 429 insertions(+), 0 deletions(-)

diffs (truncated from 445 to 300 lines):

diff -r 8c7d25b552e6 -r 0d6db038f4eb math/py-smt/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/py-smt/DESCR Tue Aug 18 20:14:33 2020 +0000
@@ -0,0 +1,13 @@
+pySMT is a solver-agnostic library for SMT Formulae manipulation and
+solving.
+
+pySMT makes working with Satisfiability Modulo Theory simple:
+
+- Define formulae in a simple, intuitive, and solver independent way
+
+- Solve your formulae using one of the native solvers, or by wrapping
+  any SMT-Lib compliant solver,
+
+- Dump your problems in the SMT-Lib format,
+
+- and more...
diff -r 8c7d25b552e6 -r 0d6db038f4eb math/py-smt/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/py-smt/Makefile      Tue Aug 18 20:14:33 2020 +0000
@@ -0,0 +1,36 @@
+#      $NetBSD: Makefile,v 1.1 2020/08/18 20:14:33 riastradh Exp $
+
+VERSION=       0.9.0
+DISTNAME=      PySMT-${VERSION}
+PKGNAME=       ${PYPKGPREFIX}-smt-${VERSION}
+CATEGORIES=    math
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=pysmt/}
+GITHUB_PROJECT=        pysmt
+GITHUB_TAG=    v${VERSION}
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      http://www.pysmt.org/
+COMMENT=       Library for SMT formula manipulation and solving
+LICENSE=       apache-2.0
+
+PYTHON_VERSIONS_INCOMPATIBLE=  27
+
+DEPENDS+=      ${PYPKGPREFIX}-six>=0:../../lang/py-six
+
+TEST_DEPENDS+= ${PYPKGPREFIX}-nose>=0:../../devel/py-nose
+TEST_DEPENDS+= ${PYPKGPREFIX}-z3>=0:../../math/py-z3
+
+SUBST_CLASSES+=                python3
+SUBST_STAGE.python3=   pre-test
+SUBST_MESSAGE.python3= Fixing python3 interpreter
+SUBST_SED.python3+=    -e 's,python3 ,${PYTHONBIN} ,'
+SUBST_FILES.python3+=  run_tests.sh
+
+do-test:
+       ${RUN} cd ${WRKSRC} && \
+       ${SETENV} ${TEST_ENV} \
+       ${SH} run_tests.sh
+
+.include "../../lang/python/egg.mk"
+.include "../../lang/python/application.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 8c7d25b552e6 -r 0d6db038f4eb math/py-smt/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/py-smt/PLIST Tue Aug 18 20:14:33 2020 +0000
@@ -0,0 +1,374 @@
+@comment $NetBSD: PLIST,v 1.1 2020/08/18 20:14:33 riastradh Exp $
+bin/pysmt-install
+${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
+${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
+${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
+${PYSITELIB}/${EGG_INFODIR}/entry_points.txt
+${PYSITELIB}/${EGG_INFODIR}/requires.txt
+${PYSITELIB}/${EGG_INFODIR}/top_level.txt
+${PYSITELIB}/pysmt/__init__.py
+${PYSITELIB}/pysmt/__init__.pyc
+${PYSITELIB}/pysmt/__init__.pyo
+${PYSITELIB}/pysmt/__main__.py
+${PYSITELIB}/pysmt/__main__.pyc
+${PYSITELIB}/pysmt/__main__.pyo
+${PYSITELIB}/pysmt/cmd/__init__.py
+${PYSITELIB}/pysmt/cmd/__init__.pyc
+${PYSITELIB}/pysmt/cmd/__init__.pyo
+${PYSITELIB}/pysmt/cmd/check_version.py
+${PYSITELIB}/pysmt/cmd/check_version.pyc
+${PYSITELIB}/pysmt/cmd/check_version.pyo
+${PYSITELIB}/pysmt/cmd/install.py
+${PYSITELIB}/pysmt/cmd/install.pyc
+${PYSITELIB}/pysmt/cmd/install.pyo
+${PYSITELIB}/pysmt/cmd/installers/__init__.py
+${PYSITELIB}/pysmt/cmd/installers/__init__.pyc
+${PYSITELIB}/pysmt/cmd/installers/__init__.pyo
+${PYSITELIB}/pysmt/cmd/installers/base.py
+${PYSITELIB}/pysmt/cmd/installers/base.pyc
+${PYSITELIB}/pysmt/cmd/installers/base.pyo
+${PYSITELIB}/pysmt/cmd/installers/bdd.py
+${PYSITELIB}/pysmt/cmd/installers/bdd.pyc
+${PYSITELIB}/pysmt/cmd/installers/bdd.pyo
+${PYSITELIB}/pysmt/cmd/installers/btor.py
+${PYSITELIB}/pysmt/cmd/installers/btor.pyc
+${PYSITELIB}/pysmt/cmd/installers/btor.pyo
+${PYSITELIB}/pysmt/cmd/installers/cvc4.py
+${PYSITELIB}/pysmt/cmd/installers/cvc4.pyc
+${PYSITELIB}/pysmt/cmd/installers/cvc4.pyo
+${PYSITELIB}/pysmt/cmd/installers/msat.py
+${PYSITELIB}/pysmt/cmd/installers/msat.pyc
+${PYSITELIB}/pysmt/cmd/installers/msat.pyo
+${PYSITELIB}/pysmt/cmd/installers/pico.py
+${PYSITELIB}/pysmt/cmd/installers/pico.pyc
+${PYSITELIB}/pysmt/cmd/installers/pico.pyo
+${PYSITELIB}/pysmt/cmd/installers/yices.py
+${PYSITELIB}/pysmt/cmd/installers/yices.pyc
+${PYSITELIB}/pysmt/cmd/installers/yices.pyo
+${PYSITELIB}/pysmt/cmd/installers/z3.py
+${PYSITELIB}/pysmt/cmd/installers/z3.pyc
+${PYSITELIB}/pysmt/cmd/installers/z3.pyo
+${PYSITELIB}/pysmt/cmd/shell.py
+${PYSITELIB}/pysmt/cmd/shell.pyc
+${PYSITELIB}/pysmt/cmd/shell.pyo
+${PYSITELIB}/pysmt/configuration.py
+${PYSITELIB}/pysmt/configuration.pyc
+${PYSITELIB}/pysmt/configuration.pyo
+${PYSITELIB}/pysmt/constants.py
+${PYSITELIB}/pysmt/constants.pyc
+${PYSITELIB}/pysmt/constants.pyo
+${PYSITELIB}/pysmt/decorators.py
+${PYSITELIB}/pysmt/decorators.pyc
+${PYSITELIB}/pysmt/decorators.pyo
+${PYSITELIB}/pysmt/environment.py
+${PYSITELIB}/pysmt/environment.pyc
+${PYSITELIB}/pysmt/environment.pyo
+${PYSITELIB}/pysmt/exceptions.py
+${PYSITELIB}/pysmt/exceptions.pyc
+${PYSITELIB}/pysmt/exceptions.pyo
+${PYSITELIB}/pysmt/factory.py
+${PYSITELIB}/pysmt/factory.pyc
+${PYSITELIB}/pysmt/factory.pyo
+${PYSITELIB}/pysmt/fnode.py
+${PYSITELIB}/pysmt/fnode.pyc
+${PYSITELIB}/pysmt/fnode.pyo
+${PYSITELIB}/pysmt/formula.py
+${PYSITELIB}/pysmt/formula.pyc
+${PYSITELIB}/pysmt/formula.pyo
+${PYSITELIB}/pysmt/logics.py
+${PYSITELIB}/pysmt/logics.pyc
+${PYSITELIB}/pysmt/logics.pyo
+${PYSITELIB}/pysmt/operators.py
+${PYSITELIB}/pysmt/operators.pyc
+${PYSITELIB}/pysmt/operators.pyo
+${PYSITELIB}/pysmt/oracles.py
+${PYSITELIB}/pysmt/oracles.pyc
+${PYSITELIB}/pysmt/oracles.pyo
+${PYSITELIB}/pysmt/parsing.py
+${PYSITELIB}/pysmt/parsing.pyc
+${PYSITELIB}/pysmt/parsing.pyo
+${PYSITELIB}/pysmt/printers.py
+${PYSITELIB}/pysmt/printers.pyc
+${PYSITELIB}/pysmt/printers.pyo
+${PYSITELIB}/pysmt/rewritings.py
+${PYSITELIB}/pysmt/rewritings.pyc
+${PYSITELIB}/pysmt/rewritings.pyo
+${PYSITELIB}/pysmt/shortcuts.py
+${PYSITELIB}/pysmt/shortcuts.pyc
+${PYSITELIB}/pysmt/shortcuts.pyo
+${PYSITELIB}/pysmt/simplifier.py
+${PYSITELIB}/pysmt/simplifier.pyc
+${PYSITELIB}/pysmt/simplifier.pyo
+${PYSITELIB}/pysmt/smtlib/__init__.py
+${PYSITELIB}/pysmt/smtlib/__init__.pyc
+${PYSITELIB}/pysmt/smtlib/__init__.pyo
+${PYSITELIB}/pysmt/smtlib/annotations.py
+${PYSITELIB}/pysmt/smtlib/annotations.pyc
+${PYSITELIB}/pysmt/smtlib/annotations.pyo
+${PYSITELIB}/pysmt/smtlib/commands.py
+${PYSITELIB}/pysmt/smtlib/commands.pyc
+${PYSITELIB}/pysmt/smtlib/commands.pyo
+${PYSITELIB}/pysmt/smtlib/parser/__init__.py
+${PYSITELIB}/pysmt/smtlib/parser/__init__.pyc
+${PYSITELIB}/pysmt/smtlib/parser/__init__.pyo
+${PYSITELIB}/pysmt/smtlib/parser/parser.py
+${PYSITELIB}/pysmt/smtlib/parser/parser.pyc
+${PYSITELIB}/pysmt/smtlib/parser/parser.pyo
+${PYSITELIB}/pysmt/smtlib/printers.py
+${PYSITELIB}/pysmt/smtlib/printers.pyc
+${PYSITELIB}/pysmt/smtlib/printers.pyo
+${PYSITELIB}/pysmt/smtlib/script.py
+${PYSITELIB}/pysmt/smtlib/script.pyc
+${PYSITELIB}/pysmt/smtlib/script.pyo
+${PYSITELIB}/pysmt/smtlib/solver.py
+${PYSITELIB}/pysmt/smtlib/solver.pyc
+${PYSITELIB}/pysmt/smtlib/solver.pyo
+${PYSITELIB}/pysmt/solvers/__init__.py
+${PYSITELIB}/pysmt/solvers/__init__.pyc
+${PYSITELIB}/pysmt/solvers/__init__.pyo
+${PYSITELIB}/pysmt/solvers/bdd.py
+${PYSITELIB}/pysmt/solvers/bdd.pyc
+${PYSITELIB}/pysmt/solvers/bdd.pyo
+${PYSITELIB}/pysmt/solvers/btor.py
+${PYSITELIB}/pysmt/solvers/btor.pyc
+${PYSITELIB}/pysmt/solvers/btor.pyo
+${PYSITELIB}/pysmt/solvers/cvc4.py
+${PYSITELIB}/pysmt/solvers/cvc4.pyc
+${PYSITELIB}/pysmt/solvers/cvc4.pyo
+${PYSITELIB}/pysmt/solvers/eager.py
+${PYSITELIB}/pysmt/solvers/eager.pyc
+${PYSITELIB}/pysmt/solvers/eager.pyo
+${PYSITELIB}/pysmt/solvers/interpolation.py
+${PYSITELIB}/pysmt/solvers/interpolation.pyc
+${PYSITELIB}/pysmt/solvers/interpolation.pyo
+${PYSITELIB}/pysmt/solvers/msat.py
+${PYSITELIB}/pysmt/solvers/msat.pyc
+${PYSITELIB}/pysmt/solvers/msat.pyo
+${PYSITELIB}/pysmt/solvers/options.py
+${PYSITELIB}/pysmt/solvers/options.pyc
+${PYSITELIB}/pysmt/solvers/options.pyo
+${PYSITELIB}/pysmt/solvers/pico.py
+${PYSITELIB}/pysmt/solvers/pico.pyc
+${PYSITELIB}/pysmt/solvers/pico.pyo
+${PYSITELIB}/pysmt/solvers/portfolio.py
+${PYSITELIB}/pysmt/solvers/portfolio.pyc
+${PYSITELIB}/pysmt/solvers/portfolio.pyo
+${PYSITELIB}/pysmt/solvers/qelim.py
+${PYSITELIB}/pysmt/solvers/qelim.pyc
+${PYSITELIB}/pysmt/solvers/qelim.pyo
+${PYSITELIB}/pysmt/solvers/smtlib.py
+${PYSITELIB}/pysmt/solvers/smtlib.pyc
+${PYSITELIB}/pysmt/solvers/smtlib.pyo
+${PYSITELIB}/pysmt/solvers/solver.py
+${PYSITELIB}/pysmt/solvers/solver.pyc
+${PYSITELIB}/pysmt/solvers/solver.pyo
+${PYSITELIB}/pysmt/solvers/yices.py
+${PYSITELIB}/pysmt/solvers/yices.pyc
+${PYSITELIB}/pysmt/solvers/yices.pyo
+${PYSITELIB}/pysmt/solvers/z3.py
+${PYSITELIB}/pysmt/solvers/z3.pyc
+${PYSITELIB}/pysmt/solvers/z3.pyo
+${PYSITELIB}/pysmt/substituter.py
+${PYSITELIB}/pysmt/substituter.pyc
+${PYSITELIB}/pysmt/substituter.pyo
+${PYSITELIB}/pysmt/test/__init__.py
+${PYSITELIB}/pysmt/test/__init__.pyc
+${PYSITELIB}/pysmt/test/__init__.pyo
+${PYSITELIB}/pysmt/test/examples.py
+${PYSITELIB}/pysmt/test/examples.pyc
+${PYSITELIB}/pysmt/test/examples.pyo
+${PYSITELIB}/pysmt/test/smtlib/__init__.py
+${PYSITELIB}/pysmt/test/smtlib/__init__.pyc
+${PYSITELIB}/pysmt/test/smtlib/__init__.pyo
+${PYSITELIB}/pysmt/test/smtlib/parser_utils.py
+${PYSITELIB}/pysmt/test/smtlib/parser_utils.pyc
+${PYSITELIB}/pysmt/test/smtlib/parser_utils.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_annotations.py
+${PYSITELIB}/pysmt/test/smtlib/test_annotations.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_annotations.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.py
+${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.py
+${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_griggio.py
+${PYSITELIB}/pysmt/test/smtlib/test_griggio.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_griggio.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.pyo
+${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.py
+${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.pyo
+${PYSITELIB}/pysmt/test/test_array.py
+${PYSITELIB}/pysmt/test/test_array.pyc
+${PYSITELIB}/pysmt/test/test_array.pyo
+${PYSITELIB}/pysmt/test/test_back.py
+${PYSITELIB}/pysmt/test/test_back.pyc
+${PYSITELIB}/pysmt/test/test_back.pyo