pkgsrc.se | The NetBSD package collection

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

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

Branch: pkgsrc-2022Q3, Version: 4.8.9.0nb2, Package name: py310-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-09-26) Package added to pkgsrc.se, version py310-z3solver-4.8.9.0nb2 (created)