Versions Packages Information History Badges Report

Packages for cvc4

63 package(s) known

Arch
community

cvc4

1.8 (1.8-2)

cvc4-git

1.6.r709.g219bc5991 (1.6.r709.g219bc5991-1)
Deepin
main

cvc4

1.6 (1.6-2)

cvc4

1.6 (1.6-2)
Devuan 4.0 (Chimaera)
chimaera/main

cvc4

1.8 (1.8-2)
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
updates

cvc4

1.8 (1.8-2.fc33)
Fedora 33
release

cvc4

1.8 (1.8-1.fc33)
Fedora 34
release

cvc4

1.8 (1.8-4.fc34)
Fedora 34
updates

cvc4

1.8 (1.8-5.fc34)
Fedora 35
development

cvc4

1.8 (1.8-7.fc35)

cvc4

1.8 (1.8-7.fc35)

math/cvc4

1.7 (1.7_4)
Funtoo 1.4
science-kit

sci-mathematics/cvc4

1.6

sci-mathematics/cvc4

1.8

sci-mathematics/cvc4

1.7 (1.7-r1)
Hyperbola
community

cvc4

1.4 (1.4-5)

sci-mathematics/cvc4

1.8

sci-mathematics/cvc4

1.7 (1.7-r1)

sci-mathematics/cvc4

1.8

sci-mathematics/cvc4

1.7 (1.7-r1)

cvc4

1.4
Manjaro Stable
community

cvc4

1.8 (1.8-2)
  • Summary:
    An automatic theorem prover
  • Licenses:
    • GPL
    • BSD
    • MIT
    • custom:HPND
  • Links(s):
Manjaro Staging
community

cvc4

1.8 (1.8-2)
  • Summary:
    An automatic theorem prover
  • Licenses:
    • GPL
    • BSD
    • MIT
    • custom:HPND
  • Links(s):
Manjaro Testing
community

cvc4

1.8 (1.8-2)
  • Summary:
    An automatic theorem prover
  • Licenses:
    • GPL
    • BSD
    • MIT
    • custom:HPND
  • Links(s):

cvc4

1.8 (1.8-2)
  • Summary:
    An automatic theorem prover
  • Licenses:
    • GPL
    • BSD
    • MIT
    • custom:HPND
  • Links(s):

cvc4

1.8
Parabola
community

cvc4

1.8 (1.8-2)
Parrot
main

cvc4

1.8 (1.8-2)
Trisquel 9.0
etiona/main

cvc4

1.5 (1.5-1)
Trisquel 10.0
nabia/main

cvc4

1.6 (1.6-2build2)