3 commits

Author	SHA1	Message	Date
khorben	cebcaedf23	Really correct the PKGNAME	2018-03-20 16:24:34 +00:00
khorben	7e7749afaf	Correct the package name for math/py-z3solver	2018-03-20 16:06:44 +00:00
khorben	7900dd07cc	Import math/py-z3solver version 4.5.0.1 ... Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. This is a fork of the original Z3. Unfortunately it conflicts with the math/z3 package as a result.	2018-03-20 15:47:36 +00:00