Information for cvc3

Versions

• 2.4.1 (6)
• 2.2

Package names

• cvc3 (4)
• math/cvc3
• sci-mathematics/cvc3

Repositories

• Debian Oldstable
• Devuan 1.0 (Jessie)
• Devuan 2.0 (ASCII)
• DPorts
• FreeBSD Ports
• Funtoo 1.4
• nixpkgs stable
• nixpkgs unstable
• Pardus 17
• PLD Linux
• Raspbian Oldstable
• Raspbian Stable
• Rosa 2014.1
• Rosa 2016.1
• Trisquel 6.0
• Trisquel 7.0
• Trisquel 8.0
• Trisquel 9.0
• Ubuntu 12.04
• 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

Homepages

• 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)

Downloads

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