Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Badges
Report
Packages for
cvc4
51
package(s) known
Arch
community
cvc4
1.8 (1.8-2)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Package-related links:
Package details on www.archlinux.org
Git repository
PKGBUILD
Package information (x86_64)
Homepage:
https://cvc4.github.io/
4
6
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
Package-related links:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
http://cvc4.cs.stanford.edu/
4
6
Debian Stable
stable/main
cvc4
1.6 (1.6-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Debian Testing
testing/main
cvc4
1.8 (1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
https://cvc4.github.io/
4
6
Debian Unstable
main
cvc4
1.8 (1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
https://cvc4.github.io/
4
6
Deepin
main
cvc4
1.6 (1.6-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Devuan 3.0 (Beowulf)
beowulf/main
cvc4
1.6 (1.6-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Devuan 4.0 (Chimaera)
chimaera/main
cvc4
1.8 (1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
https://cvc4.github.io/
4
6
Devuan Unstable
unstable/main
cvc4
1.8 (1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
https://cvc4.github.io/
4
6
DPorts
math/cvc4
1.7 (1.7_4)
Summary:
Automatic theorem prover for SMT (Satisfiability Modulo Theories)
Maintainer:
greg@unrelenting.technology
Category:
math
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://cvc4.cs.stanford.edu/web/
4
6
Fedora 26
updates
cvc4
1.5 (1.5-1.fc26)
Summary:
Automatic theorem prover for SMT problems
Category:
Unspecified
License:
GPLv3+
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
Fedora 26
release
cvc4
1.4 (1.4-15.fc26)
Summary:
Automatic theorem prover for SMT problems
Category:
Unspecified
License:
GPLv3+
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
Fedora 27
release
cvc4
1.5 (1.5-4.fc27)
Summary:
Automatic theorem prover for SMT problems
Category:
Unspecified
License:
GPLv3+
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
Fedora 28
release
cvc4
1.5 (1.5-6.fc28)
Summary:
Automatic theorem prover for SMT problems
Category:
Unspecified
License:
GPLv3+
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
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
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
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
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
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
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
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
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
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
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
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
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
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
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
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
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
Fedora Rawhide
cvc4
1.8 (1.8-2.fc34)
Summary:
Automatic theorem prover for SMT problems
Category:
Unspecified
License:
Boost and BSD and MIT
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://cvc4.cs.stanford.edu/
4
6
FreeBSD Ports
math/cvc4
1.7 (1.7_4)
Summary:
Automatic theorem prover for SMT (Satisfiability Modulo Theories)
Maintainer:
greg@unrelenting.technology
Category:
math
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://cvc4.cs.stanford.edu/web/
4
6
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
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Download(s):
http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz
4
6
Gentoo
sci-mathematics/cvc4
1.7
Summary:
automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
tupone@gentoo.org
Category:
sci-mathematics
License:
GPL-2
Package-related links:
Package details
View ebuild
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Download(s):
https://github.com/CVC4/CVC4/archive/1.7.tar.gz
4
6
Gentoo
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
Package-related links:
Package details
View ebuild
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Download(s):
http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz
4
6
Hyperbola
community
cvc4
1.4 (1.4-5)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Package-related links:
Package search on hyperbola.info.nu
Homepage:
http://cvc4.cs.nyu.edu/web/
4
6
(archive)
Kali Linux Rolling
main
cvc4
1.8 (1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Package-related links:
Git repository
Homepage:
https://cvc4.github.io/
4
6
LiGurOS 20.7
nokit
sci-mathematics/cvc4
1.7
Summary:
automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
tupone@gentoo.org
Category:
sci-mathematics
License:
GPL-2
Package-related links:
Git directory
View ebuild
Homepage:
https://cvc4.cs.stanford.edu/web/
4
6
Download(s):
https://github.com/CVC4/CVC4/archive/1.7.tar.gz
4
6
LiGurOS 20.7
nokit
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
Package-related links:
Git directory
View ebuild
Homepage:
https://cvc4.cs.stanford.edu/web/
4
6
Download(s):
http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz
4
6
LiGurOS 21.1
nokit
sci-mathematics/cvc4
1.7
Summary:
automatic theorem prover for satisfiability modulo theories (SMT) problems
Maintainer:
tupone@gentoo.org
Category:
sci-mathematics
License:
GPL-2
Package-related links:
Git directory
View ebuild
Homepage:
https://cvc4.cs.stanford.edu/web/
4
6
Download(s):
https://github.com/CVC4/CVC4/archive/1.7.tar.gz
4
6
LiGurOS 21.1
nokit
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
Package-related links:
Git directory
View ebuild
Homepage:
https://cvc4.cs.stanford.edu/web/
4
6
Download(s):
http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz
4
6
MacPorts
cvc4
1.4
Summary:
An automated theorem prover for SMT problems
Maintainer:
nomaintainer@macports.org
Category:
math
License:
BSD
Package-related links:
Port page on MacPorts.org
Port directory in GitHub repository
Homepage:
http://cvc4.cs.nyu.edu/
4
6
(archive)
Manjaro Stable
community
cvc4
1.8 (1.8-2)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Homepage:
https://cvc4.github.io/
4
6
Manjaro Testing
community
cvc4
1.8 (1.8-2)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Homepage:
https://cvc4.github.io/
4
6
Manjaro Unstable
community
cvc4
1.8 (1.8-2)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Homepage:
https://cvc4.github.io/
4
6
nixpkgs stable
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-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
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
Package-related links:
Package source
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Parabola
community
cvc4
1.8 (1.8-2)
Summary:
An automatic theorem prover
Licenses:
GPL
BSD
MIT
custom:HPND
Package-related links:
Package search on parabola.nu
Homepage:
https://cvc4.github.io/
4
6
Pardus 19
main
cvc4
1.6 (1.6-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Parrot
main
cvc4
1.8 (1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
https://cvc4.github.io/
4
6
PureOS Amber
cvc4
1.6 (1.6-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
PureOS landing
cvc4
1.8 (1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
https://cvc4.github.io/
4
6
Raspbian Stable
main
cvc4
1.6 (1.6-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Raspbian Testing
main
cvc4
1.8 (1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
misc
Homepage:
https://cvc4.github.io/
4
6
SlackBuilds
academic/cvc4
1.8
Maintainer:
nick@smallbone.se
Category:
academic
Package-related links:
SlackBuilds.org page
Homepage:
https://cvc4.cs.stanford.edu/
4
6
Download(s):
https://github.com/CVC4/CVC4/archive/1.8/CVC4-1.8.tar.gz
4
6
https://www.antlr3.org/download/antlr-3.4-complete.jar
4
6
Trisquel 9.0
etiona/main
cvc4
1.5 (1.5-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
fabi.wolff@arcor.de
Category:
universe/misc
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://cvc4.cs.stanford.edu/web/
4
6
Ubuntu 20.10
groovy/universe
cvc4
1.8 (1.8-2)
Maintainers:
debian-science-maintainers@alioth-lists.debian.net
fabi.wolff@arcor.de
Category:
universe/misc
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
https://cvc4.github.io/
4
6