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}