cvc4 - 1.8-2 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: 298.0 kB
Architectures: arm64  amd64 

 

Versions

1.8-2 amd64 1.8-2 arm64