Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Information for
cvc3
Versions
2.4.1
(5)
Package names
cvc3
(5)
Repositories
DPorts
nixpkgs stable 21.11
nixpkgs stable 22.05
nixpkgs stable 22.11
nixpkgs unstable
PLD Linux
Raspbian Oldstable
Rosa 2014.1
Rosa 2016.1
Trisquel 9.0
Ubuntu 14.04
Ubuntu 16.04
Ubuntu 18.04
Categories
math
(2)
universe/math
Licenses
BSD
Unspecified free software license
Summaries
A prover for satisfiability modulo theory (SMT)
Automatic theorem prover for the SMT problem
Maintainers
7c6f434c@mail.ru
lwhsu@freebsd.org
mdeters@morgandeters.com
ubuntu-devel-discuss@lists.ubuntu.com
Group email
Homepage links
http://cs.nyu.edu/acsys/cvc3/index.html
redir
,
no IPv6
http://www.cs.nyu.edu/acsys/cvc3/
redir
,
no IPv6
http://www.cs.nyu.edu/acsys/cvc3/index.html
redir
,
no IPv6
https://www.cs.nyu.edu/acsys/cvc3/
redir
,
no IPv6
All package recipes
https://abf.io/import/cvc3/blob/rosa2014.1/cvc3.spec
ok
,
no IPv6
https://abf.io/import/cvc3/blob/rosa2016.1/cvc3.spec
ok
,
no IPv6
https://git.pld-linux.org/?p=packages/cvc3.git;a=blob;f=cvc3.spec;hb=HEAD
ok
https://github.com/DragonFlyBSD/DPorts/blob/master/math/cvc3/Makefile
ok
,
no IPv6
https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/cvc3/default.nix#L30
ok
,
no IPv6
https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/cvc3/default.nix#L27
ok
,
no IPv6
https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/cvc3/default.nix#L27
ok
,
no IPv6
https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/cvc3/default.nix#L30
ok
,
no IPv6
Build logs
https://sting.dragonflybsd.org/dports/logs/math___cvc3.log
ok
,
no IPv6