alt-ergo 2.3.3
High-performance theorem prover and SMT solver
Linux
last changed
Pin this version
$ devbox add alt-ergo@2.3.3
$ nix shell github:NixOS/nixpkgs/79cb2cb9869d7bb8a1fac800977d3864212fd97d#alt-ergo
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
alt-ergo |
79cb2cb9869d |
JSON: /v2/pkg?name=alt-ergo · /v2/resolve?name=alt-ergo&version=2.3.3