{"name":"cadical","version":"2.2.0","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"cadical"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/iry7j66c1fl05ina6wzx42mmlafdipvy-cadical-2.2.0","default":true},{"name":"dev","path":"/nix/store/lhgjfwnxj6jnkd7f231q3n9h6xag30kc-cadical-2.2.0-dev"},{"name":"lib","path":"/nix/store/p5b9x3p3kg5zhi8pbapgzgvj1932n25g-cadical-2.2.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"cadical"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/g2dvssm8c2i6ciywkyivrqqy8h4xgd05-cadical-2.2.0","default":true},{"name":"dev","path":"/nix/store/zwl4f7c8p58sjfyaviyc17xvy114vdmc-cadical-2.2.0-dev"},{"name":"lib","path":"/nix/store/6sic242p3bxg7phx0851bbb9z3rb1n56-cadical-2.2.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"cadical"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/7klpwiaia3sa8b6f1jd9mb1bbq2na68c-cadical-2.2.0","default":true},{"name":"dev","path":"/nix/store/ch8gi4p4zj1cidfqs0aj6cn3ccd8m7hz-cadical-2.2.0-dev"},{"name":"lib","path":"/nix/store/4s02rgrcyvhgpiywd8g0987ana7j8n1m-cadical-2.2.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"26b0093bc977081dc7653175a3fadab11e07bed7"},"attr_path":"cadical"},"last_updated":"2026-01-24T23:43:55Z","outputs":[{"name":"out","path":"/nix/store/pknl3rfafd2zhhq9cbgfb06v3ahqj2q4-cadical-2.2.0","default":true},{"name":"dev","path":"/nix/store/mzd1gprh6iisplbzpczz1kkjmaivdnny-cadical-2.2.0-dev"},{"name":"lib","path":"/nix/store/yim20nr2vd70z6cisv4gam1dcq26gr88-cadical-2.2.0-lib"}]}}}