{"name":"kissat","version":"4.0.3","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":"2ea123939c5cb71d2761896c27e475aeab266364"},"attr_path":"kissat"},"last_updated":"2025-10-14T12:01:24Z","outputs":[{"name":"out","path":"/nix/store/cai0af5gjrq69sphmkay4s02ygar2l9g-kissat-4.0.3","default":true},{"name":"dev","path":"/nix/store/jsc522ihqzppa0b5wp83pnvy7a7p81bm-kissat-4.0.3-dev"},{"name":"lib","path":"/nix/store/gl28j7p49f0fccfy75h8nkxb3m7n0gk7-kissat-4.0.3-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"832e3b6db48508ae436c2c7bfc0cf914eac6938e"},"attr_path":"kissat"},"last_updated":"2025-10-12T08:13:11Z","outputs":[{"name":"out","path":"/nix/store/fz9ik6yf1syjrx8brzhmv15g28imfca8-kissat-4.0.3","default":true},{"name":"dev","path":"/nix/store/7xzkjzh5k8ca9af7r9jn139yhj6l24i4-kissat-4.0.3-dev"},{"name":"lib","path":"/nix/store/43ina7nq41dcavpxkdh4z5drr2y272ms-kissat-4.0.3-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c12c63cd6c5eb34c7b4c3076c6a99e00fcab86ec"},"attr_path":"kissat"},"last_updated":"2025-10-13T09:56:54Z","outputs":[{"name":"out","path":"/nix/store/8nj87saa3vw12y3lscbrxqbk0qr4492q-kissat-4.0.3","default":true},{"name":"dev","path":"/nix/store/rga6529w0h8n4w9jawj3jd8jzsffgcd2-kissat-4.0.3-dev"},{"name":"lib","path":"/nix/store/7kc9w2f3rarb5vz2h0nqjy9k8ccjl5va-kissat-4.0.3-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bce5fe2bb998488d8e7e7856315f90496723793c"},"attr_path":"kissat"},"last_updated":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/a7b7j9q09qa2l4pk2vrdniix79faq8rr-kissat-4.0.3","default":true},{"name":"dev","path":"/nix/store/kq38fi5md6yqpmwvhk8h0dnahzk5d3ms-kissat-4.0.3-dev"},{"name":"lib","path":"/nix/store/8gc9h30mp10f9rhwfs376dpjf8ar48xp-kissat-4.0.3-lib"}]}}}