Versions Packages Information History Badges Report

Packages for cvc4

68 package(s) known

Arch
community

cvc4

1.8 (1.8-2)

cvc4

1.6 (1.6-2.1)

cvc4

1.8 (1.8-2.0)

cvc4

1.8 (1.8-2.0)

cvc4

1.8 (1.8-2)

cvc4

1.8 (1.8-2)

cvc4-git

1.6.r709.g219bc5991 (1.6.r709.g219bc5991-1)
Devuan 3.0
beowulf/main

cvc4

1.6 (1.6-2)
Devuan 4.0
chimaera/main

cvc4

1.8 (1.8-2)
Devuan Unstable
unstable/main

cvc4

1.8 (1.8-2)

math/cvc4

1.7 (1.7_5)
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
release

cvc4

1.8 (1.8-7.fc35)
Fedora 36
release

cvc4

1.8 (1.8-9.fc36)
Fedora 37
development

cvc4

1.8 (1.8-12.fc37)
Fedora Rawhide
development

cvc4

1.8 (1.8-12.fc37)

math/cvc4

1.7 (1.7_6)
Funtoo 1.4
science-kit

sci-mathematics/cvc4

1.6

sci-mathematics/cvc4

1.8 (1.8-r1)

sci-mathematics/cvc4

1.7 (1.7-r1)

sci-mathematics/cvc4

1.8 (1.8-r1)

sci-mathematics/cvc4

1.7 (1.7-r1)

sci-mathematics/cvc4

1.8 (1.8-r1)

sci-mathematics/cvc4

1.7 (1.7-r1)
Manjaro Stable
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
parrot/main

cvc4

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