{"name":"kissat","version":"4.0.4","summary":"'keep it simple and clean bare metal SAT solver' written in C","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"kissat"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/abrvvah8yk6h7vgz97qzc0bdzdkp8qid-kissat-4.0.4","default":true},{"name":"dev","path":"/nix/store/86jaxyf2v614nbilm0hnf4h3gz4l0sly-kissat-4.0.4-dev"},{"name":"lib","path":"/nix/store/ka7dlk1c3vqvwasf50h25nfbxgfs6ygh-kissat-4.0.4-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"kissat"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/mdh5razvdwmqg9pb8fflrk9mc4gjgq7d-kissat-4.0.4","default":true},{"name":"dev","path":"/nix/store/llikpis3lwlm4572xvf8z1gy4nnvxbm1-kissat-4.0.4-dev"},{"name":"lib","path":"/nix/store/5dkdvabdxajvmqf4nw1922bfnjks30n8-kissat-4.0.4-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6edbf1a6a03e75886a6609c088801a0856449e88"},"attr_path":"kissat"},"last_updated":"2026-07-05T01:29:37Z","outputs":[{"name":"out","path":"/nix/store/15bimrirfbm0vl0mygwcgggsh8sc0man-kissat-4.0.4","default":true},{"name":"dev","path":"/nix/store/9icm76rfnrz1kqjnx2q4jxf3s5254q6a-kissat-4.0.4-dev"},{"name":"lib","path":"/nix/store/8l59nrf1m714pz5990rayqffbh6dx91b-kissat-4.0.4-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"kissat"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/hb3b0aarnp0jl90gkixiijl65k9lqxyc-kissat-4.0.4","default":true},{"name":"dev","path":"/nix/store/mcpc1fpjdwigmy63lr4j18vfyjgd4y0j-kissat-4.0.4-dev"},{"name":"lib","path":"/nix/store/07lwf9af1i0hdqb1dx6w898c3f50k4fj-kissat-4.0.4-lib"}]}}}