![[BACK]](/icons/back.gif){kind=icon}
Up to [cvs.NetBSD.org] / pkgsrc / math / py-smt
Request diff between arbitrary revisions
Keyword substitution: kv
Default branch: MAIN
Fix PLIST after py-setuptools update; bump depends and revision
py-smt: fix wheel name for latest setuptools and depend on it Bump PKGREVISION.
py-*: remove unused tool dependency py-setuptools includes the py-wheel functionality nowadays
py-smt: fix PKGNAME
py-smt: updated to 0.9.6 0.9.6: 2022-06-24 -- CVC5 and upgraded solvers * Fixed issue 613 * Fix missing file in Manifest * Upgrade MathSAT to 5.6.6 * CI: Avoid running on PR branch push * Upgrade MathSAT to 5.6.7 * Fix misspellings * Upgrade Z3 to 4.8.17 * make FormulaContextualizer singleton in FormulaManager. * README: Remove interpolants from Z3 * Parse logic str in Portfolio * Make sudoku.py Python3 compatible * Fix the definition of BVXnor * Deterministic get_closer_logic * Grammar correction * example/parallel.py: typo fix * Fix for pyximport * Remove deprecated distutils * Fixed removed imp module in Python 3.12 * [Boolector] Add support for const arrays and boolean indices/elements * Update of all solvers
py-smt: mark as PYTHON_SELF_CONFLICT=yes
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
python: egg.mk: add USE_PKG_RESOURCES flag This flag should be set for packages that import pkg_resources and thus need setuptools after the build step. Set this flag for packages that need it and bump PKGREVISION.
*: bump PKGREVISION for egg.mk users They now have a tool dependency on py-setuptools instead of a DEPENDS
Import PySMT-0.9.0 as math/py-smt. pySMT is a solver-agnostic library for SMT Formulae manipulation and solving.