libcvc4-5 - 1.6-2+b1 main

automated theorem prover for SMT problems (runtime)

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

Dependencies

Installed Size: 14.1 MB
Architectures: amd64 

 

Versions

1.6-2+b1 amd64