[NEW] math/z3

Sun, 12 Feb 2017 05:00:38 -0800 

Hi,
attached is the port of z3, a theorem prover from Microsoft Research licensed under the MIT license. 

Ok?

Cheers,

Remi.



Attachment:
z3-4.5.0.tar.gz

Description: application/gzip






















					Reply via email to