{"name":"cadical","version":"3.0.0","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"243895692ae2a2fbd08a05141462c0cc0d3ca10f"},"attr_path":"cadical"},"last_updated":"2026-08-03T00:04:07Z","outputs":[{"name":"out","path":"/nix/store/ip4067mk30ikm18s082s0c3rhyyr37gj-cadical-3.0.0","default":true},{"name":"dev","path":"/nix/store/p0954pmxhjwz93k180cji8sjazbqjnsp-cadical-3.0.0-dev"},{"name":"lib","path":"/nix/store/pyggmnckfa3p76zp31dg61dkv3var4kl-cadical-3.0.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"70ce234312134a463ba7728e94da2486a1d237ac"},"attr_path":"cadical"},"last_updated":"2026-08-06T00:10:29Z","outputs":[{"name":"out","path":"/nix/store/bmf9dyykqf54nn5wjkm6dk19xdsp0zib-cadical-3.0.0","default":true},{"name":"dev","path":"/nix/store/j2n1aishjcsbg4ariv14z64sfchqdkf0-cadical-3.0.0-dev"},{"name":"lib","path":"/nix/store/gl4qymgcd0swi8anxkm0kh6fn9xyzzyj-cadical-3.0.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f205b5574fd0cb7da5b702a2da51507b7f4fdd1b"},"attr_path":"cadical"},"last_updated":"2026-07-05T19:27:47Z","outputs":[{"name":"out","path":"/nix/store/4zr9qmd3k3s769xplkynazwd1jxzfgaz-cadical-3.0.0","default":true},{"name":"dev","path":"/nix/store/v7njryhwvxp3x4c8xdnhmi4jjxfy86b0-cadical-3.0.0-dev"},{"name":"lib","path":"/nix/store/b3xz2j4528cfxn3aa5lxc4m5wrcgkxww-cadical-3.0.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"afb4584a80bbf779ce0f691509ff902d188c2b3d"},"attr_path":"cadical"},"last_updated":"2026-08-07T10:21:50Z","outputs":[{"name":"out","path":"/nix/store/4diiadpar5b9dr59dlhafbg2d1qbblp0-cadical-3.0.0","default":true},{"name":"dev","path":"/nix/store/bm1844m4pwrfb9n1vs8zyixyg1458nah-cadical-3.0.0-dev"},{"name":"lib","path":"/nix/store/3v8zdi5mdblr58s4zzsjizha69ws07v9-cadical-3.0.0-lib"}]}}}