Information for cvc3

Versions

• 2.4.1 (6)
• 2.2

Package names

• cvc3 (6)

Repositories

• Debian 8
• Debian 9
• Devuan 1.0
• Devuan 2.0
• DPorts
• FreeBSD Ports
• Funtoo 1.4
• nixpkgs stable 21.05
• nixpkgs stable 21.11
• nixpkgs unstable
• Pardus 17
• PLD Linux
• Raspbian Oldstable
• Rosa 2014.1
• Rosa 2016.1
• Trisquel 6.0
• Trisquel 7.0
• Trisquel 8.0
• Trisquel 9.0
• Ubuntu 14.04
• Ubuntu 16.04
• Ubuntu 18.04

Categories

• math (2)
• sci-mathematics
• universe/math

Licenses

• BSD
• BSD MIT HPND zchaff? ( zchaff )
• Unspecified free software license

Summaries

• A prover for satisfiability modulo theory (SMT)
• Automatic theorem prover for the SMT problem
• CVC3 is a theorem prover for Satisfiability Modulo Theories (SMT) problems

Maintainers

• 7c6f434c@mail.ru
• cconway@cs.nyu.edu
• gienah@gentoo.org
• lwhsu@freebsd.org
• mdeters@morgandeters.com
• sci-mathematics@gentoo.org
• ubuntu-devel-discuss@lists.ubuntu.com

• Group email

Homepage links

• http://cs.nyu.edu/acsys/cvc3/index.html⁴⁶
• http://www.cs.nyu.edu/acsys/cvc3/⁴⁶ (2)
• http://www.cs.nyu.edu/acsys/cvc3/index.html⁴⁶ (2)

All package recipes

• https://abf.io/import/cvc3/blob/rosa2014.1/cvc3.spec⁴⁶
• https://abf.io/import/cvc3/blob/rosa2016.1/cvc3.spec⁴⁶
• https://cgit.freebsd.org/ports/plain/math/cvc3/Makefile⁴⁶
• https://git.pld-linux.org/?p=packages/cvc3.git;a=blob;f=cvc3.spec;hb=HEAD⁴⁶
• https://github.com/DragonFlyBSD/DPorts/blob/master/math/cvc3/Makefile⁴⁶
• https://github.com/funtoo/science-kit/blob/1.4-release/sci-mathematics/cvc3/cvc3-2.4.1-r1.ebuild⁴⁶
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/cvc3/default.nix#L27⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-21.05/pkgs/applications/science/logic/cvc3/default.nix#L27⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/cvc3/default.nix#L27⁴⁶

Downloads

• http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.1/cvc3-2.4.1.tar.gz⁴⁶

Build logs

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