{"name":"kissat","version":"4.0.1","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":"b582bb5b0d7af253b05d58314b85ab8ec46b8d19"},"attr_path":"kissat"},"last_updated":"2025-01-25T23:17:58Z","outputs":[{"name":"out","path":"/nix/store/ba1dj9hz57lz9663k3v1mnsyl8cl2m30-kissat-4.0.1","default":true},{"name":"dev","path":"/nix/store/6954zkparkcfnpxgvv2cqx735hbaq0ss-kissat-4.0.1-dev"},{"name":"lib","path":"/nix/store/f1k08mgpm1fr0f67p85666pfdi5jb14q-kissat-4.0.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e1996d7bdaf4eafdb85690079b9e02b25dc14e4f"},"attr_path":"kissat"},"last_updated":"2025-01-21T12:51:11Z","outputs":[{"name":"out","path":"/nix/store/dv6b9f0fd83ns53ip70ipdnmlj2ngcnf-kissat-4.0.1","default":true},{"name":"dev","path":"/nix/store/zbbk442n449hn42g5jpjjmn4phl4q411-kissat-4.0.1-dev"},{"name":"lib","path":"/nix/store/gysq4nk4sqnhrd831vanlm14mkg891s0-kissat-4.0.1-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5d3221fd57cc442a1a522a15eb5f58230f45a304"},"attr_path":"kissat"},"last_updated":"2025-01-26T08:24:11Z","outputs":[{"name":"out","path":"/nix/store/0f01wvv8l747iawl7prhw9rw2wwbs4aa-kissat-4.0.1","default":true},{"name":"dev","path":"/nix/store/6xl52im457v47yn47597pwinf3jg4dfm-kissat-4.0.1-dev"},{"name":"lib","path":"/nix/store/qih562gks5akan9326pdp6qri0mj47vf-kissat-4.0.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"606996d74f6e2a12635d41c1bf58bfc7ea3bb5ec"},"attr_path":"kissat"},"last_updated":"2025-01-22T14:55:48Z","outputs":[{"name":"out","path":"/nix/store/fkb3wc59vd8idpk8phk8cwnwgcilqb1m-kissat-4.0.1","default":true},{"name":"dev","path":"/nix/store/f8qi9wi2ysrd0l315fd3s4x9sf2g035j-kissat-4.0.1-dev"},{"name":"lib","path":"/nix/store/0bsfi56h1v6l3yikf7k8ld6360m4c4n8-kissat-4.0.1-lib"}]}}}