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

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


Branch: pkgsrc-2022Q1, 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:

Filesize: 4398.372 KB

Version history: (Expand)