cvc4 packages - Repology

68 package(s) known

Arch
^community

cvc4

1.8 (1.8-2)

Summary:
An automatic theorem prover
Licenses:
- GPL
- BSD
- MIT
- custom:HPND
Links(s):
- Upstream homepage⁴⁶
- Package page
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Arch Linux 32 i486
^community

cvc4

1.6 (1.6-2.1)

Summary:
An automatic theorem prover
Licenses:
- GPL
- BSD
- MIT
- custom:HPND
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Arch Linux 32 i686
^community

cvc4

1.8 (1.8-2.0)

Summary:
An automatic theorem prover
Licenses:
- GPL
- BSD
- MIT
- custom:HPND
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Arch Linux 32 pentium4
^community

cvc4

1.8 (1.8-2.0)

Summary:
An automatic theorem prover
Licenses:
- GPL
- BSD
- MIT
- custom:HPND
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Arch Linux ARM aarch64
^community

cvc4

1.8 (1.8-2)

Summary:
An automatic theorem prover
Licenses:
- GPL
- BSD
- MIT
- custom:HPND
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶

Arch Linux ARM armv7h
^community

cvc4

1.8 (1.8-2)

Summary:
An automatic theorem prover
Licenses:
- GPL
- BSD
- MIT
- custom:HPND
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶

AUR

cvc4-git

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

Summary:
An automatic theorem prover for SMT problems.
Maintainer:
- spaceships@aur
License:
- BSD
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Debian 10
^buster/main

cvc4

1.6 (1.6-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status
- Package statistics⁴⁶

Debian 11
^{bullseye/main}

cvc4

1.8 (1.8-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶
- Package statistics⁴⁶

Debian 12
^{bookworm/main}

cvc4

1.8 (1.8-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status
- Package statistics⁴⁶

Debian Unstable
^sid/main

cvc4

1.8 (1.8-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶
- Package statistics⁴⁶

Deepin
^main

cvc4

1.6 (1.6-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Links(s):
- Upstream homepage⁴⁶

Devuan 3.0
^beowulf/main

cvc4

1.6 (1.6-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Links(s):
- Upstream homepage⁴⁶

Devuan 4.0
^{chimaera/main}

cvc4

1.8 (1.8-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Links(s):
- Upstream homepage⁴⁶

Devuan Unstable
^{unstable/main}

cvc4

1.8 (1.8-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Links(s):
- Upstream homepage⁴⁶

DPorts

math/cvc4

1.7 (1.7_5)

Summary:
Automatic theorem prover for SMT (Satisfiability Modulo Theories)
Maintainer:
- greg@unrelenting.technology
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log⁴⁶

Fedora 26
^updates

cvc4

1.5 (1.5-1.fc26)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 26
^release

cvc4

1.4 (1.4-15.fc26)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 27
^release

cvc4

1.5 (1.5-4.fc27)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 28
^release

cvc4

1.5 (1.5-6.fc28)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 29
^release

cvc4

1.6 (1.6-2.fc29)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 30
^updates

cvc4

1.7 (1.7-3.fc30)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 30
^release

cvc4

1.6 (1.6-6.fc30)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 31
^release

cvc4

1.7 (1.7-6.fc31)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 32
^release

cvc4

1.7 (1.7-8.fc32)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 32
^updates

cvc4

1.7 (1.7-9.fc32)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 33
^updates

cvc4

1.8 (1.8-2.fc33)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 33
^release

cvc4

1.8 (1.8-1.fc33)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 34
^release

cvc4

1.8 (1.8-4.fc34)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 34
^updates

cvc4

1.8 (1.8-5.fc34)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 35
^release

cvc4

1.8 (1.8-7.fc35)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 36
^release

cvc4

1.8 (1.8-9.fc36)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 37
^development

cvc4

1.8 (1.8-12.fc37)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora Rawhide
^development

cvc4

1.8 (1.8-12.fc37)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

FreeBSD Ports

math/cvc4

1.7 (1.7_6)

Summary:
Automatic theorem prover for SMT (Satisfiability Modulo Theories)
Maintainer:
- greg@unrelenting.technology
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶

Funtoo 1.4
^science-kit

sci-mathematics/cvc4

1.6

Summary:
automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Gentoo

sci-mathematics/cvc4

1.8 (1.8-r1)

Summary:
Automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Gentoo

sci-mathematics/cvc4

1.7 (1.7-r1)

Summary:
Automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Kali Linux Rolling
^main

cvc4

1.8 (1.8-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Links(s):
- Upstream homepage⁴⁶

LiGurOS stable

sci-mathematics/cvc4

1.8 (1.8-r1)

Summary:
Automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS stable

sci-mathematics/cvc4

1.7 (1.7-r1)

Summary:
Automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS develop

sci-mathematics/cvc4

1.8 (1.8-r1)

Summary:
Automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS develop

sci-mathematics/cvc4

1.7 (1.7-r1)

Summary:
Automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶