cadical 1.2.1
Simplified Satisfiability Solver
Linux
last changed
Pin this version
$ devbox add cadical@1.2.1
$ nix shell github:NixOS/nixpkgs/7b9448665e4be84c3f97becded3676e150f94694#cadical
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
cadical |
7b9448665e4b |
JSON: /v2/pkg?name=cadical · /v2/resolve?name=cadical&version=1.2.1