souffle 2.0.1
Translator of declarative Datalog programs into the C++ language
Linux
last changed
Pin this version
$ devbox add souffle@2.0.1
$ nix shell github:NixOS/nixpkgs/dd1b7e377f6d77ddee4ab84be11173d3566d6a18#souffle
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
souffle |
dd1b7e377f6d |
JSON: /v2/pkg?name=souffle · /v2/resolve?name=souffle&version=2.0.1