5 commits

Author	SHA1	Message	Date
joerg	a7c0829b3d	Fix vector to element array conversion	2020-03-18 19:29:18 +00:00
joerg	c3fd9de4c3	Fix vector to element array conversion	2020-03-18 17:57:02 +00:00
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