{"name":"cadical","version":"1.9.1","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7c33cd6bf01cf09f77bfdf6741cddfffa2cd5640"},"attr_path":"cadical"},"last_updated":"2023-12-20T09:10:46Z","outputs":[{"name":"out","path":"/nix/store/ygmi7yl56rjdd9xpjx1jvmifnina3ncw-cadical-1.9.1","default":true},{"name":"dev","path":"/nix/store/plpf9k0lgrng46xfy7y2id00yf4dlb6k-cadical-1.9.1-dev"},{"name":"lib","path":"/nix/store/0j0ajg63r2s1gqd83vfv91v4ly7514gi-cadical-1.9.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca16221251951e9c6261a1a2bb4f9389038d3632"},"attr_path":"cadical"},"last_updated":"2023-12-18T02:58:18Z","outputs":[{"name":"out","path":"/nix/store/lb420i29l2w5zgxxlsdvdh82f3s5bwmv-cadical-1.9.1","default":true},{"name":"dev","path":"/nix/store/4ngi7s9y13rjbml41bj8qln4g9rgaa2y-cadical-1.9.1-dev"},{"name":"lib","path":"/nix/store/0g0gvz48fk0sy0rhqywswyshszax1ffs-cadical-1.9.1-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7c33cd6bf01cf09f77bfdf6741cddfffa2cd5640"},"attr_path":"cadical"},"last_updated":"2023-12-20T09:10:46Z","outputs":[{"name":"out","path":"/nix/store/nrsc1h5a58dg7yqymyg1f50mi3skjjnp-cadical-1.9.1","default":true},{"name":"dev","path":"/nix/store/2d0a1apzlxg11bnapd169ivmmgql8qdf-cadical-1.9.1-dev"},{"name":"lib","path":"/nix/store/aznl9y63pmfdbyzvqm2g2jlz7mcg8yjs-cadical-1.9.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd8e82f3b4017b8faa52c2b1897a38d53c3c26cb"},"attr_path":"cadical"},"last_updated":"2023-12-18T22:32:18Z","outputs":[{"name":"out","path":"/nix/store/0ab4h31zmskf6cgml8br5w58h2ws4s4s-cadical-1.9.1","default":true},{"name":"dev","path":"/nix/store/fg3d632sc15prcvqc1qpfaq0q2calnr8-cadical-1.9.1-dev"},{"name":"lib","path":"/nix/store/rx441y8vkpqp1lgmd49fxww44d1ayr7l-cadical-1.9.1-lib"}]}}}