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