./math/py-z3, Python bindings for the Z3 theorem prover / SMT solver

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

Branch: CURRENT, Version: 4.5.0, Package name: py27-z3-4.5.0, Maintainer: dholland

z3 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:

Master sites:

SHA1: 6f4e94e025fcc2fa2896524d8fbb9de0b3033854
RMD160: 81121307ac83f42989da49efda31964a94f7f5d5
Filesize: 3489.937 KB

Version history: (Expand)