pkgsrc.se | The NetBSD package collection

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

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

Branch: pkgsrc-2022Q2, Version: 4.8.9.0nb2, Package name: py39-z3solver-4.8.9.0nb2, 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)

Filesize: 4398.372 KB

Version history: (Expand)

(2022-06-30) Package added to pkgsrc.se, version py39-z3solver-4.8.9.0nb2 (created)