Binary package libcvc4-5/1.6-2+b1 in amber

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

libc6 (>= 2.17)
libgcc1 (>= 1:3.0)
libgmp10
libstdc++6 (>= 5.2)

Installed Size: 14.1 MB
Architectures: amd64

Versions

1.6-2+b1 amd64