Path to this page:
./
math/py-z3,
Python bindings for the Z3 theorem prover / SMT solver
Branch: pkgsrc-2018Q2,
Version: 4.5.0,
Package name: py27-z3-4.5.0,
Maintainer: dhollandz3 is an open source theorem prover / SMT solver from Microsoft Research.
(SMT stands for "satisfiability modulo theories".)
This package contains the Python bindings for z3.
Required to run:[
lang/python27] [
math/z3]
Required to build:[
pkgtools/cwrappers]
Master sites:
SHA1: 6f4e94e025fcc2fa2896524d8fbb9de0b3033854
RMD160: 81121307ac83f42989da49efda31964a94f7f5d5
Filesize: 3489.937 KB
Version history: (Expand)
- (2018-07-03) Package added to pkgsrc.se, version py27-z3-4.5.0 (created)