Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cvc4
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):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
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):
Package page
ok
,
no IPv6
Package recipe
dead
(see archive.org)
Upstream homepage
ok
Arch Linux ARM aarch64
community
cvc4
1.8
(1.8-2)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Link(s):
Package page
ok
,
no IPv6
Package recipe
dead
(see archive.org)
Upstream homepage
ok
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):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
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):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
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):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
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):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
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):
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
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):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
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):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
Upstream homepage
ok
,
no IPv6
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):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
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):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
MacPorts
cvc4
1.4
Summary:
An automated theorem prover for SMT problems
Maintainer:
nomaintainer@macports.org
Category:
math
License:
BSD
Link(s):
Package page
ok
,
no IPv6
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Package issue tracker
ok
Package statistics
ok
,
no IPv6
Package build status
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Manjaro Stable
extra
cvc4
1.8
(1.8-3)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Link(s):
Upstream homepage
ok
Manjaro Testing
extra
cvc4
1.8
(1.8-3)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Link(s):
Upstream homepage
ok
Manjaro Unstable
extra
cvc4
1.8
(1.8-3)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Link(s):
Upstream homepage
ok
nixpkgs stable 21.11
cvc4
1.8
Summary:
A high-performance theorem prover and SMT solver
Maintainers:
vincent.laporte@gmail.com
aseipp@pobox.com
gebner@gebner.org
License:
GPL-3.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.05
cvc4
1.8
Summary:
A high-performance theorem prover and SMT solver
Maintainers:
vincent.laporte@gmail.com
aseipp@pobox.com
gebner@gebner.org
License:
GPL-3.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.11
cvc4
1.8
Summary:
A high-performance theorem prover and SMT solver
Maintainers:
vincent.laporte@gmail.com
aseipp@pobox.com
gebner@gebner.org
License:
GPL-3.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 23.05
cvc4
1.8
Summary:
A high-performance theorem prover and SMT solver
Maintainers:
vincent.laporte@gmail.com
aseipp@pobox.com
gebner@gebner.org
License:
GPL-3.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 23.11
cvc4
1.8
Summary:
A high-performance theorem prover and SMT solver
Maintainers:
vincent.laporte@gmail.com
aseipp@pobox.com
gebner@gebner.org
License:
GPL-3.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs unstable
cvc4
1.8
Summary:
A high-performance theorem prover and SMT solver
Maintainers:
vincent.laporte@gmail.com
aseipp@pobox.com
gebner@gebner.org
License:
GPL-3.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Parabola
extra
cvc4
1.8
(1.8-3)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Link(s):
Package page
ok
Upstream homepage
ok
Pardus 21
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
Parrot
parrot-updates/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
Parrot
parrot/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
PureOS Amber
cvc4
1.6
(1.6-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
math
Link(s):
Upstream homepage
ok
,
no IPv6
PureOS landing
cvc4
1.8
(1.8-3)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
math
Link(s):
Upstream homepage
ok
Raspbian Oldstable
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
Raspbian Stable
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
Raspbian Testing
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
SlackBuilds
academic/cvc4
1.8
Maintainer:
nick@smallbone.se
Category:
academic
Link(s):
Package page
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Upstream download
ok
Trisquel 10.0
nabia/main
cvc4
1.6
(1.6-2build2)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
fabi.wolff@arcor.de
Category:
universe/misc
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Trisquel 11.0
aramo/main
cvc4
1.8
(1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
universe/misc
Link(s):
Package page
ok
Upstream homepage
ok
Ubuntu 18.04
bionic/universe
cvc4
1.5
(1.5-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
fabi.wolff@arcor.de
Category:
universe/misc
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 20.04
focal/universe
cvc4
1.6
(1.6-2build2)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
fabi.wolff@arcor.de
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 22.04
jammy/universe
cvc4
1.8
(1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 23.04
lunar/universe
cvc4
1.8
(1.8-3)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 23.10
mantic/universe
cvc4
1.8
(1.8-3)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok