{"name":"kissat","version":"4.0.2","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":"2defa37146df235ef62f566cde69930a86f14df1"},"attr_path":"kissat"},"last_updated":"2025-07-07T01:36:15Z","outputs":[{"name":"out","path":"/nix/store/xqm3nz1jnffw0bcwwgf7a9dawzw9hb9l-kissat-4.0.2","default":true},{"name":"dev","path":"/nix/store/6aznjh9dg7g791l43spadzvazmn96j6z-kissat-4.0.2-dev"},{"name":"lib","path":"/nix/store/aa552xxr7j8rkapy0xhjpsx27d35c7pc-kissat-4.0.2-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"322d8a3c6940039f7cff179a8b09c5d7ca06359d"},"attr_path":"kissat"},"last_updated":"2025-06-26T00:46:18Z","outputs":[{"name":"out","path":"/nix/store/amywcqpk85jjfkgqms9bz8fls7031jdb-kissat-4.0.2","default":true},{"name":"dev","path":"/nix/store/q1kvvk1ivwvlj7vhgnxqsh9j993nkrvw-kissat-4.0.2-dev"},{"name":"lib","path":"/nix/store/rm25vwhdfi548n0cnnqb6z7f0rb35nmw-kissat-4.0.2-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0acc6a91343eb987397c27044a8d1fbcb374c265"},"attr_path":"kissat"},"last_updated":"2025-07-07T11:34:27Z","outputs":[{"name":"out","path":"/nix/store/zwqvj35ik2rrsji1ybp106xkdyyjsv77-kissat-4.0.2","default":true},{"name":"dev","path":"/nix/store/vham6w3nm05cpaasa6ag1z8wkrb5n8q4-kissat-4.0.2-dev"},{"name":"lib","path":"/nix/store/11lmqk3jw6lh19ybi4cdva26s1rxdz3x-kissat-4.0.2-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c860cf0b3a0829f0f6cf344ca8de83a2bbfab428"},"attr_path":"kissat"},"last_updated":"2025-07-04T10:39:05Z","outputs":[{"name":"out","path":"/nix/store/ip2l97xcqfcs8m0vn4r3g3jbx0lrvss1-kissat-4.0.2","default":true},{"name":"dev","path":"/nix/store/4r4jlbdcmcbr0b59laj8bc73criikrbz-kissat-4.0.2-dev"},{"name":"lib","path":"/nix/store/yvj2ns8fcfjysrz0cj1xybikyh7a96i1-kissat-4.0.2-lib"}]}}}