pkgsrc.se | The NetBSD package collection

./math/py-z3solver, Theorem prover from Microsoft Research

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2021Q1, Version: 4.8.9.0, Package name: py38-z3solver-4.8.9.0, Maintainer: khorben

Z3 is a theorem prover from Microsoft Research with support for bitvectors,
booleans, arrays, floating point numbers, strings, and other data types.

Master sites:

https://files.pythonhosted.org/packages/source/z/z3-solver/ (Download)

SHA1: ac47b179505c2529bb42b03faf6d5b1174a4f321
RMD160: 3427e05e0d0f4aec20cdd5d01d34d0a9b1676e5b
Filesize: 4398.372 KB

Version history: (Expand)

(2021-03-30) Package added to pkgsrc.se, version py38-z3solver-4.8.9.0 (created)