Mon Jan 9 06:39:38 2023 UTC ()
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


(khorben)
diff -r1.3 -r1.4 pkgsrc/math/py-smt/Makefile
diff -r1.3 -r1.4 pkgsrc/math/py-smt/distinfo
diff -r1.1 -r1.2 pkgsrc/math/py-smt/PLIST
cvs diff -r1.3 -r1.4 pkgsrc/math/py-smt/Makefile (expand / switch to unified diff)

--- pkgsrc/math/py-smt/Makefile 2022/01/05 15:41:14 1.3
+++ pkgsrc/math/py-smt/Makefile 2023/01/09 06:39:38 1.4
@@ -1,19 +1,18 @@ @@ -1,19 +1,18 @@
1# $NetBSD: Makefile,v 1.3 2022/01/05 15:41:14 wiz Exp $ 1# $NetBSD: Makefile,v 1.4 2023/01/09 06:39:38 khorben Exp $
2 2
3VERSION= 0.9.0 3VERSION= 0.9.5
4DISTNAME= PySMT-${VERSION} 4DISTNAME= PySMT-${VERSION}
5PKGNAME= ${PYPKGPREFIX}-smt-${VERSION} 5PKGNAME= ${PYPKGPREFIX}-smt-${VERSION}
6PKGREVISION= 2 
7CATEGORIES= math 6CATEGORIES= math
8MASTER_SITES= ${MASTER_SITE_GITHUB:=pysmt/} 7MASTER_SITES= ${MASTER_SITE_GITHUB:=pysmt/}
9GITHUB_PROJECT= pysmt 8GITHUB_PROJECT= pysmt
10GITHUB_TAG= v${VERSION} 9GITHUB_TAG= v${VERSION}
11 10
12MAINTAINER= pkgsrc-users@NetBSD.org 11MAINTAINER= pkgsrc-users@NetBSD.org
13HOMEPAGE= http://www.pysmt.org/ 12HOMEPAGE= http://www.pysmt.org/
14COMMENT= Library for SMT formula manipulation and solving 13COMMENT= Library for SMT formula manipulation and solving
15LICENSE= apache-2.0 14LICENSE= apache-2.0
16 15
17DEPENDS+= ${PYPKGPREFIX}-six>=0:../../lang/py-six 16DEPENDS+= ${PYPKGPREFIX}-six>=0:../../lang/py-six
18 17
19TEST_DEPENDS+= ${PYPKGPREFIX}-nose>=0:../../devel/py-nose 18TEST_DEPENDS+= ${PYPKGPREFIX}-nose>=0:../../devel/py-nose
cvs diff -r1.3 -r1.4 pkgsrc/math/py-smt/distinfo (expand / switch to unified diff)

--- pkgsrc/math/py-smt/distinfo 2021/10/26 10:56:05 1.3
+++ pkgsrc/math/py-smt/distinfo 2023/01/09 06:39:38 1.4
@@ -1,5 +1,5 @@ @@ -1,5 +1,5 @@
1$NetBSD: distinfo,v 1.3 2021/10/26 10:56:05 nia Exp $ 1$NetBSD: distinfo,v 1.4 2023/01/09 06:39:38 khorben Exp $
2 2
3BLAKE2s (PySMT-0.9.0.tar.gz) = 83d274dfb3d290e47b1c556174ee2209090e077149064f2be9710582ba1b2690 3BLAKE2s (PySMT-0.9.5.tar.gz) = 126a5cfcaaed9f885da8d28225d71ca1075db924086b904146a8d00e2dc03830
4SHA512 (PySMT-0.9.0.tar.gz) = 1ac42909b25529999779590899fe57d43f81d8aa2afcd52e41935795115ea34d2600a198010136c5643d99133c5179d1270e7d550af5d4653783ed26a2993623 4SHA512 (PySMT-0.9.5.tar.gz) = d1e3b4f9f7bc90c15ddcfbcf87e4d487acff9613ae48d56a91bd83ab1c929af8c15ced29f6b097a599f91b41bbfadcf89e4601edba2bdff36c80c41b7c5165bb
5Size (PySMT-0.9.0.tar.gz) = 1130338 bytes 5Size (PySMT-0.9.5.tar.gz) = 1138859 bytes
cvs diff -r1.1 -r1.2 pkgsrc/math/py-smt/PLIST (expand / switch to unified diff)

--- pkgsrc/math/py-smt/PLIST 2020/08/18 20:14:33 1.1
+++ pkgsrc/math/py-smt/PLIST 2023/01/09 06:39:38 1.2
@@ -1,20 +1,19 @@ @@ -1,20 +1,19 @@
1@comment $NetBSD: PLIST,v 1.1 2020/08/18 20:14:33 riastradh Exp $ 1@comment $NetBSD: PLIST,v 1.2 2023/01/09 06:39:38 khorben Exp $
2bin/pysmt-install 2bin/pysmt-install
3${PYSITELIB}/${EGG_INFODIR}/PKG-INFO 3${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
4${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt 4${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
5${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt 5${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
6${PYSITELIB}/${EGG_INFODIR}/entry_points.txt 6${PYSITELIB}/${EGG_INFODIR}/entry_points.txt
7${PYSITELIB}/${EGG_INFODIR}/requires.txt 
8${PYSITELIB}/${EGG_INFODIR}/top_level.txt 7${PYSITELIB}/${EGG_INFODIR}/top_level.txt
9${PYSITELIB}/pysmt/__init__.py 8${PYSITELIB}/pysmt/__init__.py
10${PYSITELIB}/pysmt/__init__.pyc 9${PYSITELIB}/pysmt/__init__.pyc
11${PYSITELIB}/pysmt/__init__.pyo 10${PYSITELIB}/pysmt/__init__.pyo
12${PYSITELIB}/pysmt/__main__.py 11${PYSITELIB}/pysmt/__main__.py
13${PYSITELIB}/pysmt/__main__.pyc 12${PYSITELIB}/pysmt/__main__.pyc
14${PYSITELIB}/pysmt/__main__.pyo 13${PYSITELIB}/pysmt/__main__.pyo
15${PYSITELIB}/pysmt/cmd/__init__.py 14${PYSITELIB}/pysmt/cmd/__init__.py
16${PYSITELIB}/pysmt/cmd/__init__.pyc 15${PYSITELIB}/pysmt/cmd/__init__.pyc
17${PYSITELIB}/pysmt/cmd/__init__.pyo 16${PYSITELIB}/pysmt/cmd/__init__.pyo
18${PYSITELIB}/pysmt/cmd/check_version.py 17${PYSITELIB}/pysmt/cmd/check_version.py
19${PYSITELIB}/pysmt/cmd/check_version.pyc 18${PYSITELIB}/pysmt/cmd/check_version.pyc
20${PYSITELIB}/pysmt/cmd/check_version.pyo 19${PYSITELIB}/pysmt/cmd/check_version.pyo
@@ -113,26 +112,29 @@ ${PYSITELIB}/pysmt/smtlib/parser/__init_ @@ -113,26 +112,29 @@ ${PYSITELIB}/pysmt/smtlib/parser/__init_
113${PYSITELIB}/pysmt/smtlib/parser/__init__.pyo 112${PYSITELIB}/pysmt/smtlib/parser/__init__.pyo
114${PYSITELIB}/pysmt/smtlib/parser/parser.py 113${PYSITELIB}/pysmt/smtlib/parser/parser.py
115${PYSITELIB}/pysmt/smtlib/parser/parser.pyc 114${PYSITELIB}/pysmt/smtlib/parser/parser.pyc
116${PYSITELIB}/pysmt/smtlib/parser/parser.pyo 115${PYSITELIB}/pysmt/smtlib/parser/parser.pyo
117${PYSITELIB}/pysmt/smtlib/printers.py 116${PYSITELIB}/pysmt/smtlib/printers.py
118${PYSITELIB}/pysmt/smtlib/printers.pyc 117${PYSITELIB}/pysmt/smtlib/printers.pyc
119${PYSITELIB}/pysmt/smtlib/printers.pyo 118${PYSITELIB}/pysmt/smtlib/printers.pyo
120${PYSITELIB}/pysmt/smtlib/script.py 119${PYSITELIB}/pysmt/smtlib/script.py
121${PYSITELIB}/pysmt/smtlib/script.pyc 120${PYSITELIB}/pysmt/smtlib/script.pyc
122${PYSITELIB}/pysmt/smtlib/script.pyo 121${PYSITELIB}/pysmt/smtlib/script.pyo
123${PYSITELIB}/pysmt/smtlib/solver.py 122${PYSITELIB}/pysmt/smtlib/solver.py
124${PYSITELIB}/pysmt/smtlib/solver.pyc 123${PYSITELIB}/pysmt/smtlib/solver.pyc
125${PYSITELIB}/pysmt/smtlib/solver.pyo 124${PYSITELIB}/pysmt/smtlib/solver.pyo
 125${PYSITELIB}/pysmt/smtlib/utils.py
 126${PYSITELIB}/pysmt/smtlib/utils.pyc
 127${PYSITELIB}/pysmt/smtlib/utils.pyo
126${PYSITELIB}/pysmt/solvers/__init__.py 128${PYSITELIB}/pysmt/solvers/__init__.py
127${PYSITELIB}/pysmt/solvers/__init__.pyc 129${PYSITELIB}/pysmt/solvers/__init__.pyc
128${PYSITELIB}/pysmt/solvers/__init__.pyo 130${PYSITELIB}/pysmt/solvers/__init__.pyo
129${PYSITELIB}/pysmt/solvers/bdd.py 131${PYSITELIB}/pysmt/solvers/bdd.py
130${PYSITELIB}/pysmt/solvers/bdd.pyc 132${PYSITELIB}/pysmt/solvers/bdd.pyc
131${PYSITELIB}/pysmt/solvers/bdd.pyo 133${PYSITELIB}/pysmt/solvers/bdd.pyo
132${PYSITELIB}/pysmt/solvers/btor.py 134${PYSITELIB}/pysmt/solvers/btor.py
133${PYSITELIB}/pysmt/solvers/btor.pyc 135${PYSITELIB}/pysmt/solvers/btor.pyc
134${PYSITELIB}/pysmt/solvers/btor.pyo 136${PYSITELIB}/pysmt/solvers/btor.pyo
135${PYSITELIB}/pysmt/solvers/cvc4.py 137${PYSITELIB}/pysmt/solvers/cvc4.py
136${PYSITELIB}/pysmt/solvers/cvc4.pyc 138${PYSITELIB}/pysmt/solvers/cvc4.pyc
137${PYSITELIB}/pysmt/solvers/cvc4.pyo 139${PYSITELIB}/pysmt/solvers/cvc4.pyo
138${PYSITELIB}/pysmt/solvers/eager.py 140${PYSITELIB}/pysmt/solvers/eager.py
@@ -185,26 +187,29 @@ ${PYSITELIB}/pysmt/test/smtlib/parser_ut @@ -185,26 +187,29 @@ ${PYSITELIB}/pysmt/test/smtlib/parser_ut
185${PYSITELIB}/pysmt/test/smtlib/parser_utils.pyo 187${PYSITELIB}/pysmt/test/smtlib/parser_utils.pyo
186${PYSITELIB}/pysmt/test/smtlib/test_annotations.py 188${PYSITELIB}/pysmt/test/smtlib/test_annotations.py
187${PYSITELIB}/pysmt/test/smtlib/test_annotations.pyc 189${PYSITELIB}/pysmt/test/smtlib/test_annotations.pyc
188${PYSITELIB}/pysmt/test/smtlib/test_annotations.pyo 190${PYSITELIB}/pysmt/test/smtlib/test_annotations.pyo
189${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.py 191${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.py
190${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.pyc 192${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.pyc
191${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.pyo 193${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.pyo
192${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.py 194${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.py
193${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.pyc 195${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.pyc
194${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.pyo 196${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.pyo
195${PYSITELIB}/pysmt/test/smtlib/test_griggio.py 197${PYSITELIB}/pysmt/test/smtlib/test_griggio.py
196${PYSITELIB}/pysmt/test/smtlib/test_griggio.pyc 198${PYSITELIB}/pysmt/test/smtlib/test_griggio.pyc
197${PYSITELIB}/pysmt/test/smtlib/test_griggio.pyo 199${PYSITELIB}/pysmt/test/smtlib/test_griggio.pyo
 200${PYSITELIB}/pysmt/test/smtlib/test_model_validation.py
 201${PYSITELIB}/pysmt/test/smtlib/test_model_validation.pyc
 202${PYSITELIB}/pysmt/test/smtlib/test_model_validation.pyo
198${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.py 203${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.py
199${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.pyc 204${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.pyc
200${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.pyo 205${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.pyo
201${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.py 206${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.py
202${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.pyc 207${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.pyc
203${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.pyo 208${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.pyo
204${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.py 209${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.py
205${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.pyc 210${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.pyc
206${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.pyo 211${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.pyo
207${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.py 212${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.py
208${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.pyc 213${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.pyc
209${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.pyo 214${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.pyo
210${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.py 215${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.py
@@ -212,26 +217,29 @@ ${PYSITELIB}/pysmt/test/smtlib/test_pars @@ -212,26 +217,29 @@ ${PYSITELIB}/pysmt/test/smtlib/test_pars
212${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.pyo 217${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.pyo
213${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.py 218${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.py
214${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.pyc 219${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.pyc
215${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.pyo 220${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.pyo
216${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.py 221${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.py
217${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.pyc 222${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.pyc
218${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.pyo 223${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.pyo
219${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.py 224${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.py
220${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.pyc 225${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.pyc
221${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.pyo 226${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.pyo
222${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.py 227${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.py
223${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.pyc 228${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.pyc
224${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.pyo 229${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.pyo
 230${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_uf.py
 231${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_uf.pyc
 232${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_uf.pyo
225${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.py 233${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.py
226${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.pyc 234${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.pyc
227${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.pyo 235${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.pyo
228${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.py 236${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.py
229${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.pyc 237${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.pyc
230${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.pyo 238${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.pyo
231${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.py 239${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.py
232${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.pyc 240${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.pyc
233${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.pyo 241${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.pyo
234${PYSITELIB}/pysmt/test/test_array.py 242${PYSITELIB}/pysmt/test/test_array.py
235${PYSITELIB}/pysmt/test/test_array.pyc 243${PYSITELIB}/pysmt/test/test_array.pyc
236${PYSITELIB}/pysmt/test/test_array.pyo 244${PYSITELIB}/pysmt/test/test_array.pyo
237${PYSITELIB}/pysmt/test/test_back.py 245${PYSITELIB}/pysmt/test/test_back.py
@@ -287,26 +295,29 @@ ${PYSITELIB}/pysmt/test/test_interpolati @@ -287,26 +295,29 @@ ${PYSITELIB}/pysmt/test/test_interpolati
287${PYSITELIB}/pysmt/test/test_interpolation.pyo 295${PYSITELIB}/pysmt/test/test_interpolation.pyo
288${PYSITELIB}/pysmt/test/test_lira.py 296${PYSITELIB}/pysmt/test/test_lira.py
289${PYSITELIB}/pysmt/test/test_lira.pyc 297${PYSITELIB}/pysmt/test/test_lira.pyc
290${PYSITELIB}/pysmt/test/test_lira.pyo 298${PYSITELIB}/pysmt/test/test_lira.pyo
291${PYSITELIB}/pysmt/test/test_logics.py 299${PYSITELIB}/pysmt/test/test_logics.py
292${PYSITELIB}/pysmt/test/test_logics.pyc 300${PYSITELIB}/pysmt/test/test_logics.pyc
293${PYSITELIB}/pysmt/test/test_logics.pyo 301${PYSITELIB}/pysmt/test/test_logics.pyo
294${PYSITELIB}/pysmt/test/test_models.py 302${PYSITELIB}/pysmt/test/test_models.py
295${PYSITELIB}/pysmt/test/test_models.pyc 303${PYSITELIB}/pysmt/test/test_models.pyc
296${PYSITELIB}/pysmt/test/test_models.pyo 304${PYSITELIB}/pysmt/test/test_models.pyo
297${PYSITELIB}/pysmt/test/test_native_qe.py 305${PYSITELIB}/pysmt/test/test_native_qe.py
298${PYSITELIB}/pysmt/test/test_native_qe.pyc 306${PYSITELIB}/pysmt/test/test_native_qe.pyc
299${PYSITELIB}/pysmt/test/test_native_qe.pyo 307${PYSITELIB}/pysmt/test/test_native_qe.pyo
 308${PYSITELIB}/pysmt/test/test_nia.py
 309${PYSITELIB}/pysmt/test/test_nia.pyc
 310${PYSITELIB}/pysmt/test/test_nia.pyo
300${PYSITELIB}/pysmt/test/test_nlira.py 311${PYSITELIB}/pysmt/test/test_nlira.py
301${PYSITELIB}/pysmt/test/test_nlira.pyc 312${PYSITELIB}/pysmt/test/test_nlira.pyc
302${PYSITELIB}/pysmt/test/test_nlira.pyo 313${PYSITELIB}/pysmt/test/test_nlira.pyo
303${PYSITELIB}/pysmt/test/test_oracles.py 314${PYSITELIB}/pysmt/test/test_oracles.py
304${PYSITELIB}/pysmt/test/test_oracles.pyc 315${PYSITELIB}/pysmt/test/test_oracles.pyc
305${PYSITELIB}/pysmt/test/test_oracles.pyo 316${PYSITELIB}/pysmt/test/test_oracles.pyo
306${PYSITELIB}/pysmt/test/test_portfolio.py 317${PYSITELIB}/pysmt/test/test_portfolio.py
307${PYSITELIB}/pysmt/test/test_portfolio.pyc 318${PYSITELIB}/pysmt/test/test_portfolio.pyc
308${PYSITELIB}/pysmt/test/test_portfolio.pyo 319${PYSITELIB}/pysmt/test/test_portfolio.pyo
309${PYSITELIB}/pysmt/test/test_printing.py 320${PYSITELIB}/pysmt/test/test_printing.py
310${PYSITELIB}/pysmt/test/test_printing.pyc 321${PYSITELIB}/pysmt/test/test_printing.pyc
311${PYSITELIB}/pysmt/test/test_printing.pyo 322${PYSITELIB}/pysmt/test/test_printing.pyo
312${PYSITELIB}/pysmt/test/test_qe.py 323${PYSITELIB}/pysmt/test/test_qe.py