{"name":"kissat","version":"3.1.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":"d1c9180c6d1f8fce9469436f48c1cb8180d7087d"},"attr_path":"kissat"},"last_updated":"2023-10-04T02:19:08Z","outputs":[{"name":"out","path":"/nix/store/sgjfmxhyhsqpy2xyz18ra1vvjy2v83mm-kissat-3.1.0","default":true},{"name":"dev","path":"/nix/store/rfpvf6fdhrv6cg02zh4xkbggns9swgrf-kissat-3.1.0-dev"},{"name":"lib","path":"/nix/store/ddn1wv15jrpg418s4vjpzk9m8bpnk5s7-kissat-3.1.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7131f3c223a2d799568e4b278380cd9dac2b8579"},"attr_path":"kissat"},"last_updated":"2023-10-04T11:30:54Z","outputs":[{"name":"out","path":"/nix/store/vlv730wcjbrdh93lridm44wrmw9mxd4z-kissat-3.1.0","default":true},{"name":"dev","path":"/nix/store/rnr527rnb36bjpvj30ywnvam2lbnydw8-kissat-3.1.0-dev"},{"name":"lib","path":"/nix/store/8md6m5j7byav9bn39ns627v82gv0gv1b-kissat-3.1.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f8be2c43b4b1c1aec02f741ae909696b8410ebc1"},"attr_path":"kissat"},"last_updated":"2023-10-01T23:11:39Z","outputs":[{"name":"out","path":"/nix/store/p6854mf153s0805fp0wshppsg2m10w2x-kissat-3.1.0","default":true},{"name":"dev","path":"/nix/store/jm74mppvx3dyn5ll6mnz2dwf359y3v84-kissat-3.1.0-dev"},{"name":"lib","path":"/nix/store/ggirqwmlg9w7j15ds1q2flpcqqbqa9lk-kissat-3.1.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7131f3c223a2d799568e4b278380cd9dac2b8579"},"attr_path":"kissat"},"last_updated":"2023-10-04T11:30:54Z","outputs":[{"name":"out","path":"/nix/store/53yvikhzqycpn60vrl74h4kc8xaqm7g9-kissat-3.1.0","default":true},{"name":"dev","path":"/nix/store/qvgsqq7g8rzy9spdw74bzrfz3hz4x4b8-kissat-3.1.0-dev"},{"name":"lib","path":"/nix/store/sw5z0x4y0ic54b8nifpmc5qcfi0q8lif-kissat-3.1.0-lib"}]}}}