{"name":"kissat","version":"3.0.0","summary":"A '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":"d816b5ab44187a2dd84806630ce77a733724f95f"},"attr_path":"kissat"},"last_updated":"2023-09-03T04:15:46Z","outputs":[{"name":"out","path":"/nix/store/abrjv19zvkqkk4a16z12vmiqr7r4ifxl-kissat-3.0.0","default":true},{"name":"dev","path":"/nix/store/423ira0w9ydh9lqlncbc5yl0lh9fv1rk-kissat-3.0.0-dev"},{"name":"lib","path":"/nix/store/6afr654xa06d0fnadg76ypgc11awf1lm-kissat-3.0.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d816b5ab44187a2dd84806630ce77a733724f95f"},"attr_path":"kissat"},"last_updated":"2023-09-03T04:15:46Z","outputs":[{"name":"out","path":"/nix/store/gr79kpvzqni6jciix6vwggfmk1m1ckx1-kissat-3.0.0","default":true},{"name":"dev","path":"/nix/store/mm4f75ixfjr8ff5n4npc0q7mscd7h01r-kissat-3.0.0-dev"},{"name":"lib","path":"/nix/store/423zrhbn835ffq2j2lpx62pnbygjgwwk-kissat-3.0.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd8ad63083882605e8a7f659be6c9509e6e28d28"},"attr_path":"kissat"},"last_updated":"2023-09-01T10:23:10Z","outputs":[{"name":"out","path":"/nix/store/6y6d6l3ly6mnfqpcddwzrgpsj5276785-kissat-3.0.0","default":true},{"name":"dev","path":"/nix/store/ynhinzf71z2gmgz4hrryxzmrdy58148j-kissat-3.0.0-dev"},{"name":"lib","path":"/nix/store/vh1svd0jxbybjic0w54f94yai0m6dzbk-kissat-3.0.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3c15feef7770eb5500a4b8792623e2d6f598c9c1"},"attr_path":"kissat"},"last_updated":"2023-09-04T16:24:30Z","outputs":[{"name":"out","path":"/nix/store/bnwx80mqryrd9sw8inkzcw3gp84m78pf-kissat-3.0.0","default":true},{"name":"lib","path":"/nix/store/lkrgjhb11jxxprm7q71m0biq0hinwn9c-kissat-3.0.0-lib"},{"name":"dev","path":"/nix/store/x18vr01ydfgrz7jp5qrbxq210zqqv7py-kissat-3.0.0-dev"}]}}}