{"name":"cadical","version":"3.0.1","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"cadical"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/ir7hkdcghxph04d07pgqhg2908nlsgxg-cadical-3.0.1","default":true},{"name":"dev","path":"/nix/store/73wp8sqkz7fx401rkhwcajlbn8z26vi8-cadical-3.0.1-dev"},{"name":"lib","path":"/nix/store/fm86cly369df38q5c4bizwq4bx3k3mvh-cadical-3.0.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"cadical"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/x2w4vw99gn028dqks7j38fmwpz02fghv-cadical-3.0.1","default":true},{"name":"dev","path":"/nix/store/gi6llzpib5a67751lzks6w2rx7g4gsn5-cadical-3.0.1-dev"},{"name":"lib","path":"/nix/store/8y3idrzrq7lzcpvj5qjsihzzj92qw88q-cadical-3.0.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"cadical"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/ic49l9ss5nwr4nkvbij92z8s7w693p5j-cadical-3.0.1","default":true},{"name":"dev","path":"/nix/store/v5mwrmcmgw01ixdprbrq7km0kcmh15bk-cadical-3.0.1-dev"},{"name":"lib","path":"/nix/store/mg7jdss10vca4nn0ahn5z5rpyh9sgdrc-cadical-3.0.1-lib"}]}}}