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

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


Branch: pkgsrc-2020Q3, Version: 4.8.9.0, Package name: py37-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:

SHA1: ac47b179505c2529bb42b03faf6d5b1174a4f321
RMD160: 3427e05e0d0f4aec20cdd5d01d34d0a9b1676e5b
Filesize: 4398.372 KB

Version history: (Expand)