CVS commit: pkgsrc/math/py-smt

["Pierre Pronchery" <khorben%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   khorben
Date:           Mon Jan  9 06:39:38 UTC 2023

Modified Files:
        pkgsrc/math/py-smt: Makefile PLIST distinfo

Log Message:
py-smt: update to 0.9.5

>From the release notes:

Intermediate release that collects 2 years of bugfixes and improvements.

Python 2 was deprecated in version 0.9.0, and this version removes the use of compatible code for that version.

What's Changed

* Add support for boolean-typed array in the AtomsOracle by @mikand in #644
* Switched from nosetests to pytest by @mikand in #662
* Fixed a bug in yices quantifier support and added regression test by @mikand in #657
* Fix Boolector install script by @4tXJ7f in #656
* BUG: define UFNIA as logic with integer arithmetic by @johnyf in #659
* Handling of algebraic constants in simplify by @EnricoMagnago in #658
* Integer div by @EnricoMagnago in #667
* Fix CVC4 installation on macOS by @kammoh in #666
* Bug in times distributor by @EnricoMagnago in #671
* Fixed reset_assertion method for incremental-tracking solvers by @mikand in #672
* Minor Corrections by @mfarif in #673
* implement add_assertions method for solver. by @EnricoMagnago in #679
* Fix "get_model" when called from a generic solver (Fix #674) by @btwael in #675
* Remove six and python 2 compatibility code by @marcogario in #684
* Added fallback to Swig3 to address as much as possible issue #682 by @mikand in #685
* Fix to correctly pass logic to solvers started by Portfolio by @ekilmer in #683
* SmtLib model validation support by @mikand in #681
* Fix iss694 by @EnricoMagnago in #695
* Fixed CVC4 installer after upstream repository renaming by @mikand in #697
* Remove call to FNode.substitute in SmtLibExecutionCache by @EnricoMagnago in #699
* Added printing of annotations to smt lib printers by @agirardi-fbk in #703
* Integer div by @EnricoMagnago in #705
* Updated docker images to solve deprecation issue on azure pipelines by @mikand in #706
* Workaround to fix Z3 segfault by @mikand in #713
* Add possibility to use several BV operators as left associative by @agirardi-fbk in #714
* Fixed issue #613 by @mikand in #710


To generate a diff of this commit:
cvs rdiff -u -r1.3 -r1.4 pkgsrc/math/py-smt/Makefile \
    pkgsrc/math/py-smt/distinfo
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/py-smt/PLIST

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

Modified files:

Index: pkgsrc/math/py-smt/Makefile
diff -u pkgsrc/math/py-smt/Makefile:1.3 pkgsrc/math/py-smt/Makefile:1.4
--- pkgsrc/math/py-smt/Makefile:1.3     Wed Jan  5 15:41:14 2022
+++ pkgsrc/math/py-smt/Makefile Mon Jan  9 06:39:38 2023
@@ -1,9 +1,8 @@
-#      $NetBSD: Makefile,v 1.3 2022/01/05 15:41:14 wiz Exp $
+#      $NetBSD: Makefile,v 1.4 2023/01/09 06:39:38 khorben Exp $
 
-VERSION=       0.9.0
+VERSION=       0.9.5
 DISTNAME=      PySMT-${VERSION}
 PKGNAME=       ${PYPKGPREFIX}-smt-${VERSION}
-PKGREVISION=   2
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=pysmt/}
 GITHUB_PROJECT=        pysmt
Index: pkgsrc/math/py-smt/distinfo
diff -u pkgsrc/math/py-smt/distinfo:1.3 pkgsrc/math/py-smt/distinfo:1.4
--- pkgsrc/math/py-smt/distinfo:1.3     Tue Oct 26 10:56:05 2021
+++ pkgsrc/math/py-smt/distinfo Mon Jan  9 06:39:38 2023
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.3 2021/10/26 10:56:05 nia Exp $
+$NetBSD: distinfo,v 1.4 2023/01/09 06:39:38 khorben Exp $
 
-BLAKE2s (PySMT-0.9.0.tar.gz) = 83d274dfb3d290e47b1c556174ee2209090e077149064f2be9710582ba1b2690
-SHA512 (PySMT-0.9.0.tar.gz) = 1ac42909b25529999779590899fe57d43f81d8aa2afcd52e41935795115ea34d2600a198010136c5643d99133c5179d1270e7d550af5d4653783ed26a2993623
-Size (PySMT-0.9.0.tar.gz) = 1130338 bytes
+BLAKE2s (PySMT-0.9.5.tar.gz) = 126a5cfcaaed9f885da8d28225d71ca1075db924086b904146a8d00e2dc03830
+SHA512 (PySMT-0.9.5.tar.gz) = d1e3b4f9f7bc90c15ddcfbcf87e4d487acff9613ae48d56a91bd83ab1c929af8c15ced29f6b097a599f91b41bbfadcf89e4601edba2bdff36c80c41b7c5165bb
+Size (PySMT-0.9.5.tar.gz) = 1138859 bytes

Index: pkgsrc/math/py-smt/PLIST
diff -u pkgsrc/math/py-smt/PLIST:1.1 pkgsrc/math/py-smt/PLIST:1.2
--- pkgsrc/math/py-smt/PLIST:1.1        Tue Aug 18 20:14:33 2020
+++ pkgsrc/math/py-smt/PLIST    Mon Jan  9 06:39:38 2023
@@ -1,10 +1,9 @@
-@comment $NetBSD: PLIST,v 1.1 2020/08/18 20:14:33 riastradh Exp $
+@comment $NetBSD: PLIST,v 1.2 2023/01/09 06:39:38 khorben 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
@@ -123,6 +122,9 @@ ${PYSITELIB}/pysmt/smtlib/script.pyo
 ${PYSITELIB}/pysmt/smtlib/solver.py
 ${PYSITELIB}/pysmt/smtlib/solver.pyc
 ${PYSITELIB}/pysmt/smtlib/solver.pyo
+${PYSITELIB}/pysmt/smtlib/utils.py
+${PYSITELIB}/pysmt/smtlib/utils.pyc
+${PYSITELIB}/pysmt/smtlib/utils.pyo
 ${PYSITELIB}/pysmt/solvers/__init__.py
 ${PYSITELIB}/pysmt/solvers/__init__.pyc
 ${PYSITELIB}/pysmt/solvers/__init__.pyo
@@ -195,6 +197,9 @@ ${PYSITELIB}/pysmt/test/smtlib/test_gene
 ${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_model_validation.py
+${PYSITELIB}/pysmt/test/smtlib/test_model_validation.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_model_validation.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
@@ -222,6 +227,9 @@ ${PYSITELIB}/pysmt/test/smtlib/test_pars
 ${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_uf.py
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_uf.pyc
+${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_uf.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
@@ -297,6 +305,9 @@ ${PYSITELIB}/pysmt/test/test_models.pyo
 ${PYSITELIB}/pysmt/test/test_native_qe.py
 ${PYSITELIB}/pysmt/test/test_native_qe.pyc
 ${PYSITELIB}/pysmt/test/test_native_qe.pyo
+${PYSITELIB}/pysmt/test/test_nia.py
+${PYSITELIB}/pysmt/test/test_nia.pyc
+${PYSITELIB}/pysmt/test/test_nia.pyo
 ${PYSITELIB}/pysmt/test/test_nlira.py
 ${PYSITELIB}/pysmt/test/test_nlira.pyc
 ${PYSITELIB}/pysmt/test/test_nlira.pyo