cvc4 - 1.6-2+b1 main

automated theorem prover for SMT problems

Section: math
Suites: amber byzantium landing 
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
 
Homepage Source Package
 

Dependencies

Installed Size: 527.4 kB
Architectures: amd64 

 

Versions

1.6-2+b1 amd64