{"name":"cadical","version":"2.1.3","summary":"Simplified Satisfiability Solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"878e468e02bfabeda08c79250f7ad583037f2227"},"attr_path":"cadical"},"last_updated":"2025-11-22T10:07:53Z","outputs":[{"name":"out","path":"/nix/store/zvll91i9cmrnq453c48jn6z3yyz27al6-cadical-2.1.3","default":true},{"name":"lib","path":"/nix/store/5w4iwniqvgc5n4rj2zdwmfvy0hwrk5zh-cadical-2.1.3-lib"},{"name":"dev","path":"/nix/store/jl5llfjc397aqpllbwwpxqiajyqndid6-cadical-2.1.3-dev"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a8d610af3f1a5fb71e23e08434d8d61a466fc942"},"attr_path":"cadical"},"last_updated":"2025-11-20T06:07:48Z","outputs":[{"name":"out","path":"/nix/store/0wfic1739mfdmxzdb1d634rmwy8hpy7c-cadical-2.1.3","default":true},{"name":"lib","path":"/nix/store/r09zgs8w03w4808808psml93zah3iwkk-cadical-2.1.3-lib"},{"name":"dev","path":"/nix/store/fkgpnc5gcpfmq7czizkswbs2p7l7a1cw-cadical-2.1.3-dev"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1d4c88323ac36805d09657d13a5273aea1b34f0c"},"attr_path":"cadical"},"last_updated":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/ncwgld6081hmqfim13d8kqcx9g4m8kd2-cadical-2.1.3","default":true},{"name":"dev","path":"/nix/store/81njkc0h9lpc5w9d2g74wsdy9528cgx3-cadical-2.1.3-dev"},{"name":"lib","path":"/nix/store/shsc5s4yzzzhc009mhh0ghk1zq9qls38-cadical-2.1.3-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6f374686605df381de8541c072038472a5ea2e2d"},"attr_path":"cadical"},"last_updated":"2025-11-18T11:19:29Z","outputs":[{"name":"out","path":"/nix/store/qp2a7c5vlcv57d99y0y890zbsmxxs4xz-cadical-2.1.3","default":true},{"name":"dev","path":"/nix/store/hz4vdr5qcb4ayaj17bwz7nv7jg9d5cg3-cadical-2.1.3-dev"},{"name":"lib","path":"/nix/store/v5d9qk98i40h2p2kfv2bbmp5qgrx3wxs-cadical-2.1.3-lib"}]}}}