{"name":"python313Packages.python-sat","version":"0.1.7.dev1","summary":"Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python313Packages.python-sat"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/9k1nyxy0s1s56d1lc8dh9s6i8ai7wf1k-python3.13-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/89v8mppmwcq6vg23zs6xy96rgh0vrfya-python3.13-python-sat-0.1.7.dev1-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python313Packages.python-sat"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/55xq0qa8x70vgvba0daan4zailnx768p-python3.13-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/jq98r9l85ri2727cyvjl202m7pjzi32s-python3.13-python-sat-0.1.7.dev1-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python313Packages.python-sat"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/cd4dg81hschxdg819fic46snv4blda0c-python3.13-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/27k6svipcq2v3x389hc8l159w4k2gmii-python3.13-python-sat-0.1.7.dev1-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python313Packages.python-sat"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/nm7h20fq3f9lymx0dvsgkx80d0s3c92g-python3.13-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/p9nlv9ivyik9h2z83i58yxxn4b8pdp6g-python3.13-python-sat-0.1.7.dev1-dist"}]}}}