cvc5 1.4.0 single outdated
High-performance theorem prover and SMT solver
- Name
cvc5-1.4.0- Package set
- top-level
- Homepage
- https://cvc5.github.io
- License
- GPL-3.0-only
- Main program
cvc5- Source
- pkgs/by-name/cv/cvc5/package.nix:68
- Derivation
/nix/store/gsqys5wqbj34m3rycavcj44nh8p8nzw5-cvc5-1.4.0.drv- Repology
- outdated, newest version is 1.4.1 · cvc5 (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| shadaj | Shadaj Laddad | GitHub | listed on package |
Dependencies 11
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| boost 1.91.0 | buildInputs | 23,831 | unmaintained | |
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| gtest 1.18.0 | buildInputs | 51,079 | single | |
| jdk 21.0.12.1+1 | buildInputs | 1,183 | maintained | |
| libpoly 0.2.1 | buildInputs | 48 | unmaintained | |
| symfpu 1.2.0-unstable-2026-05-13 | buildInputs | 22 | single | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained outdated | |
| flex 2.6.4 | nativeBuildInputs | 52,194 | unmaintained | |
| pkg-config 0.29.2 | nativeBuildInputs | 78,016 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 2 directly, 20 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.sbv 11.7 | other input | 18 | unmaintained | |
| key 3.0.0 | other input | 0 | maintained |