Versions Packages Information History Badges Report

Packages for cvc4

51 package(s) known

Arch
community

cvc4

1.8 (1.8-2)

cvc4-git

1.6.r709.g219bc5991 (1.6.r709.g219bc5991-1)
Devuan Unstable
unstable/main

cvc4

1.8 (1.8-2)

math/cvc4

1.7 (1.7_4)
Fedora 26
updates

cvc4

1.5 (1.5-1.fc26)
Fedora 26
release

cvc4

1.4 (1.4-15.fc26)
Fedora 27
release

cvc4

1.5 (1.5-4.fc27)
Fedora 28
release

cvc4

1.5 (1.5-6.fc28)
Fedora 29
release

cvc4

1.6 (1.6-2.fc29)
Fedora 30
updates

cvc4

1.7 (1.7-3.fc30)
Fedora 30
release

cvc4

1.6 (1.6-6.fc30)
Fedora 31
release

cvc4

1.7 (1.7-6.fc31)
Fedora 32
release

cvc4

1.7 (1.7-8.fc32)
Fedora 32
updates

cvc4

1.7 (1.7-9.fc32)
Fedora 33
release

cvc4

1.8 (1.8-1.fc33)
Fedora 33
updates

cvc4

1.8 (1.8-2.fc33)

cvc4

1.8 (1.8-2.fc34)

math/cvc4

1.7 (1.7_4)
Funtoo 1.4
science-kit

sci-mathematics/cvc4

1.6

sci-mathematics/cvc4

1.7

sci-mathematics/cvc4

1.6
Hyperbola
community

cvc4

1.4 (1.4-5)

cvc4

1.8 (1.8-2)

sci-mathematics/cvc4

1.7

sci-mathematics/cvc4

1.6

sci-mathematics/cvc4

1.7

sci-mathematics/cvc4

1.6

cvc4

1.4
Manjaro Stable
community

cvc4

1.8 (1.8-2)
Manjaro Testing
community

cvc4

1.8 (1.8-2)

cvc4

1.8 (1.8-2)

cvc4

1.8

cvc4

1.8
Parabola
community

cvc4

1.8 (1.8-2)
Trisquel 9.0
etiona/main

cvc4

1.5 (1.5-1)