cvc4 packages - Repology

66 package(s) known

Arch
^extra

cvc4

1.8 (1.8-3)

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

Arch Linux 32 i486
^extra

cvc4

1.6 (1.6-2.1)

Summary:
An automatic theorem prover
Licenses:
- GPL
- BSD
- MIT
- custom:HPND
Link(s):
- Package page^ok
- Upstream homepage^{dead (see archive.org)}

Arch Linux 32 i686
^extra

cvc4

1.8 (1.8-2.0)

Summary:
An automatic theorem prover
Licenses:
- GPL
- BSD
- MIT
- custom:HPND
Link(s):
- Package page^ok
- Upstream homepage^ok

Arch Linux 32 pentium4
^extra

cvc4

1.8 (1.8-2.0)

Summary:
An automatic theorem prover
Licenses:
- GPL
- BSD
- MIT
- custom:HPND
Link(s):
- Package page^ok
- Upstream homepage^ok

Arch Linux ARM aarch64
^extra

cvc4

1.8 (1.8-3)

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

Arch Linux ARM aarch64
^community

cvc4

1.8 (1.8-2)

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

AUR

cvc4-git

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

Summary:
An automatic theorem prover for SMT problems.
Maintainer:
- fallback-mnt-aur@repology
License:
- BSD
Link(s):

Debian 10
^buster/main

cvc4

1.6 (1.6-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Link(s):

Debian 11
^{bullseye/main}

cvc4

1.8 (1.8-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Link(s):

Debian 12
^{bookworm/main}

cvc4

1.8 (1.8-3)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Link(s):

Debian 13
^trixie/main

cvc4

1.8 (1.8-3)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Link(s):

Debian Unstable
^sid/main

cvc4

1.8 (1.8-3)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Link(s):

Deepin
^main

cvc4

1.6 (1.6-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Link(s):
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Upstream homepage^ok

Devuan Unstable
^{unstable/main}

cvc4

1.8 (1.8-3)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Link(s):
- Upstream homepage^ok

Fedora 26
^updates

cvc4

1.5 (1.5-1.fc26)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- GPLv3+
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 26
^release

cvc4

1.4 (1.4-15.fc26)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- GPLv3+
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 27
^release

cvc4

1.5 (1.5-4.fc27)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- GPLv3+
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 28
^release

cvc4

1.5 (1.5-6.fc28)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- GPLv3+
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^ok

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^ok

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^ok

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
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^ok

Fedora 37
^updates

cvc4

1.8 (1.8-13.fc37)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- BSD-3-Clause AND MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^ok

Fedora 37
^release

cvc4

1.8 (1.8-12.fc37)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- Boost and BSD and MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^ok

Fedora 38
^release

cvc4

1.8 (1.8-15.fc38)

Summary:
Automatic theorem prover for SMT problems
Category:
- Unspecified
License:
- BSD-3-Clause AND MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^ok

Gentoo

sci-mathematics/cvc4

1.8 (1.8-r4)

Summary:
Automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Link(s):

Kali Linux Rolling
^main

cvc4

1.8 (1.8-3)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- fabi.wolff@arcor.de
Category:
- misc
Link(s):
- Upstream homepage^ok

LiGurOS stable

sci-mathematics/cvc4

1.8 (1.8-r4)

Summary:
Automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Link(s):

LiGurOS develop

sci-mathematics/cvc4

1.8 (1.8-r4)

Summary:
Automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
- tupone@gentoo.org
Category:
- sci-mathematics
License:
- GPL-2
Link(s):