Information for cvc4

Versions

• 1.6.r709.g219bc5991
• 1.8 (6)
• 1.7 (3)
• 1.6 (4)
• 1.5 (2)
• 1.4 (2)

Package names

• cvc4 (8)
• cvc4-git

Repositories

• Arch
• Arch Linux 32 i486
• Arch Linux 32 i686
• Arch Linux 32 pentium4
• Arch Linux ARM aarch64
• Arch Linux ARM armv7h
• AUR
• Debian 10
• Debian 11
• Debian 12
• Debian Unstable
• Deepin
• Devuan 3.0
• Devuan 4.0
• Devuan Unstable
• DPorts
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora Rawhide
• FreeBSD Ports
• Funtoo 1.4
• Gentoo
• Kali Linux Rolling
• LiGurOS stable
• LiGurOS develop
• MacPorts
• Manjaro Stable
• Manjaro Testing
• Manjaro Unstable
• nixpkgs stable 21.05
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs unstable
• Parabola
• Pardus 19
• Pardus 21
• Parrot
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• SlackBuilds
• Trisquel 9.0
• Trisquel 10.0
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 22.10

Categories

• Unspecified
• academic
• math (2)
• misc
• sci-mathematics
• universe/misc

Licenses

• BSD (2)
• Boost and BSD and MIT
• GPL
• GPL-2
• GPL-3.0
• GPLv3+
• MIT
• custom:HPND

Summaries

• A high-performance theorem prover and SMT solver
• An automated theorem prover for SMT problems
• An automatic theorem prover
• An automatic theorem prover for SMT problems.
• Automatic theorem prover for SMT (Satisfiability Modulo Theories)
• Automatic theorem prover for SMT problems
• Automatic theorem prover for satisfiability modulo theories (SMT) problems
• automatic theorem prover for satisfiability modulo theories (SMT) problems

Maintainers

• aseipp@pobox.com
• debian-science-maintainers@alioth-lists.debian.net
• debian-science-maintainers@lists.alioth.debian.org
• fabi.wolff@arcor.de
• gebner@gebner.org
• greg@unrelenting.technology
• nick@smallbone.se
• nomaintainer@macports.org
• spaceships@aur
• tupone@gentoo.org
• ubuntu-devel-discuss@lists.ubuntu.com
• vincent.laporte@gmail.com

• Group email

Homepage links

• http://cvc4.cs.nyu.edu/^46(archive)
• http://cvc4.cs.nyu.edu/web/^46(archive)
• http://cvc4.cs.stanford.edu/⁴⁶ (2)
• http://cvc4.cs.stanford.edu/web/⁴⁶ (3)
• https://cvc4.cs.stanford.edu/⁴⁶
• https://cvc4.cs.stanford.edu/web/⁴⁶
• https://cvc4.github.io/⁴⁶ (4)

All package recipes

• https://archlinuxarm.org/packages/aarch64/cvc4/files/PKGBUILD⁴⁶
• https://archlinuxarm.org/packages/armv7h/cvc4/files/PKGBUILD⁴⁶
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cvc4-git⁴⁶
• https://cgit.freebsd.org/ports/plain/math/cvc4/Makefile⁴⁶
• https://github.com/archlinux/svntogit-community/blob/packages/cvc4/trunk/PKGBUILD⁴⁶
• https://github.com/DragonFlyBSD/DPorts/blob/master/math/cvc4/Makefile⁴⁶
• https://github.com/funtoo/science-kit/blob/1.4-release/sci-mathematics/cvc4/cvc4-1.6.ebuild⁴⁶
• https://github.com/macports/macports-ports/blob/master/math/cvc4/Portfile⁴⁶
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/cvc4/default.nix#L39⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-21.05/pkgs/applications/science/logic/cvc4/default.nix#L39⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/cvc4/default.nix#L39⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/cvc4/default.nix#L39⁴⁶
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild⁴⁶
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild⁴⁶
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild⁴⁶
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild⁴⁶
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild⁴⁶
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild⁴⁶
• https://slackbuilds.org/slackbuilds/15.0/academic/cvc4/cvc4.SlackBuild⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f26/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f27/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f28/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f29/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f30/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f31/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f32/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f33/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f34/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f35/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f36/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/f37/f/cvc4.spec⁴⁶
• https://src.fedoraproject.org/rpms/cvc4/blob/rawhide/f/cvc4.spec⁴⁶

Downloads

• http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz⁴⁶
• https://github.com/CVC4/CVC4-archived/archive/refs/tags/1.8.tar.gz⁴⁶
• https://github.com/CVC4/CVC4/archive/1.7.tar.gz⁴⁶
• https://ponce.cc/slackware/sources/repo/CVC4-1.8.tar.gz⁴⁶
• https://www.antlr3.org/download/antlr-3.4-complete.jar⁴⁶

Build logs

• https://sting.dragonflybsd.org/dports/logs/math___cvc4.log⁴⁶