{"name":"kissat","version":"3.1.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":"d4f247e89f6e10120f911e2e2d2254a050d0f732"},"attr_path":"kissat"},"last_updated":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/7bccgmczkwikil6ppqvrjrmc7j6sq4ir-kissat-3.1.1","default":true},{"name":"lib","path":"/nix/store/0mmkqbmcrji9fm2p2zanm8h1zgha5maf-kissat-3.1.1-lib"},{"name":"dev","path":"/nix/store/4p6ryak4phi8plxwdh31mqr4xsw96v18-kissat-3.1.1-dev"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d4f247e89f6e10120f911e2e2d2254a050d0f732"},"attr_path":"kissat"},"last_updated":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/2v27cmxk7ibdvvy762iq9avs5x1k8axf-kissat-3.1.1","default":true},{"name":"lib","path":"/nix/store/pcnilbkcl0bqgmzrqd3k3830gybvj2hh-kissat-3.1.1-lib"},{"name":"dev","path":"/nix/store/3yxnxsydgzxihz6w0qlz90fcij3r3kd9-kissat-3.1.1-dev"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d4f247e89f6e10120f911e2e2d2254a050d0f732"},"attr_path":"kissat"},"last_updated":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/qdpx635ap497iamrlkwfppyfa11k5sbw-kissat-3.1.1","default":true},{"name":"dev","path":"/nix/store/a9jmpkz2p9xrjw04nb1bqjfdifjw6772-kissat-3.1.1-dev"},{"name":"lib","path":"/nix/store/4bwfr5c2cbhvpv672sd43lnzvirfk2md-kissat-3.1.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7881fbfd2e3ed1dfa315fca889b2cfd94be39337"},"attr_path":"kissat"},"last_updated":"2024-10-15T08:13:08Z","outputs":[{"name":"out","path":"/nix/store/bwwwdd03xxakqmvn53d97lbnr9vjkm64-kissat-3.1.1","default":true},{"name":"lib","path":"/nix/store/8bz3rpn8ilgvda6cfsg640vi7zdqcpnw-kissat-3.1.1-lib"},{"name":"dev","path":"/nix/store/zl4k0w5bcrzx3450hsx8ks3bibmsbhjl-kissat-3.1.1-dev"}]}}}