Versions Packages Information History Related Badges Report

Packages for cvc4

66 package(s) known

Arch
extra

cvc4

1.8 (1.8-3)

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-3)

cvc4

1.8 (1.8-2)

cvc4-git

1.6.r709.g219bc5991 (1.6.r709.g219bc5991-1)
Devuan 4.0
chimaera/main

cvc4

1.8 (1.8-2)
Devuan Unstable
unstable/main

cvc4

1.8 (1.8-3)
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)
Fedora 34
updates

cvc4

1.8 (1.8-5.fc34)
Fedora 34
release

cvc4

1.8 (1.8-4.fc34)
Fedora 35
release

cvc4

1.8 (1.8-7.fc35)
Fedora 36
release

cvc4

1.8 (1.8-9.fc36)
Fedora 37
updates

cvc4

1.8 (1.8-13.fc37)
Fedora 37
release

cvc4

1.8 (1.8-12.fc37)
Fedora 38
release

cvc4

1.8 (1.8-15.fc38)

sci-mathematics/cvc4

1.8 (1.8-r4)

sci-mathematics/cvc4

1.8 (1.8-r4)

sci-mathematics/cvc4

1.8 (1.8-r4)

cvc4

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

cvc4

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

cvc4

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

cvc4

1.8
Parabola
extra

cvc4

1.8 (1.8-3)
Parrot
parrot-updates/main

cvc4

1.8 (1.8-2)
Parrot
parrot/main

cvc4

1.8 (1.8-2)
Trisquel 10.0
nabia/main

cvc4

1.6 (1.6-2build2)
Trisquel 11.0
aramo/main

cvc4

1.8 (1.8-2)