{"name":"souffle","version":"1.7.1","summary":"A translator of declarative Datalog programs into the C++ language","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e912fb83d2155a393e7146da98cda0e455a80fb6"},"attr_path":"souffle"},"last_updated":"2020-06-30T02:44:55Z"}}}