cvc5

cvc5 1.4.0 · pkgs/by-name/cv/cvc5/package.nix

Health

Risk

risk 9 low

+8 1.4.0 is behind upstream 1.4.2
+1 no versionCheckHook

Version

1.4.0 1.4.2 available

Channels

master 1.4.0 · nixos-unstable 1.4.0 · nixos-26.05 1.3.4 master is ahead of nixos-26.05

Hydra

succeeded 3d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

High-performance theorem prover and SMT solver

Homepage

https://cvc5.github.io

License

GPL-3.0-only

Platforms

45 platforms: Linux, Darwin

Main program

cvc5

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/cv/cvc5/package.nix:68

Maintainers

shadaj

Version bumps 1

all open bumps

cvc5: 1.4.0 -> 1.4.2

#567785 by r-ryantm · opened 2w ago

Pull requests 2

cvc5: 1.4.0 -> 1.4.2

#567785 by r-ryantm · opened 2w ago

cvc5: add python package

#311171 by tsheinen · opened 2y ago

Closed or merged in the last 60 days 1

cvc5: 1.3.4 -> 1.4.0

#564397 by r-ryantm · merged 4w ago

Issues 1

cvc5: add flags for additional feature and dependencies 2.status: stale

#413530 by amigalemming · opened 16mo ago · 1 comments