z3

Z3 solver
Description
Install
Published
24 Oct 2019
Authors
Sources
z3-4.8.6.tar.gz
md5=8b5468f18708351e13851e84eaa8edd4
Dependencies
Reverse Dependencies
catala
>= "0.7.0"
kind2
< "1.5.0"
nuscr
>= "2.0.0"