{"name":"python312Packages.pycosat","version":"0.6.3","summary":"Bindings to picosat SAT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.pycosat"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/mjiwnc50s7cvb36vma2wcxrh36gx8f3n-python3.12-pycosat-0.6.3","default":true},{"name":"dist","path":"/nix/store/pdba1w93avnkc7xd2ky1j9iqrkbkf8g3-python3.12-pycosat-0.6.3-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.pycosat"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/5y64gz0i3jccmcw05byas2n15iyvlcfm-python3.12-pycosat-0.6.3","default":true},{"name":"dist","path":"/nix/store/vrcfd37gnn1skrabmrzy1jb4cj66lw6y-python3.12-pycosat-0.6.3-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.pycosat"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/9vldmib7brfpd9gxpdvz94khjd6rz0vl-python3.12-pycosat-0.6.3","default":true},{"name":"dist","path":"/nix/store/xvbkkyw001dyi48h907lr3n4hnjcla3i-python3.12-pycosat-0.6.3-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.pycosat"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/1d36q522ar2r4i6magyq388fvf0di9ng-python3.12-pycosat-0.6.3","default":true},{"name":"dist","path":"/nix/store/5jz45021vn0ip5a3db3676p67kyz7pqc-python3.12-pycosat-0.6.3-dist"}]}}}