z3
Z3 solver
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 13 Sep 2022
- Authors
- Maintainers
Sources
z3-4.11.2.tar.gz
sha256=e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e
sha512=be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
Dependencies
Reverse Dependencies
asli
>= "0.2.0"
bap-primus-symbolic-executor
< "2.5.0"
catala
= "0.6.0"
nuscr
>= "2.0.0"
ocaml-sat-solvers
>= "0.7"