{"name":"python313Packages.pycosat","version":"0.6.3","summary":"Bindings to picosat SAT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7dd199b0e2993e37b4775ed66b1c291699608c9f"},"attr_path":"python313Packages.pycosat"},"last_updated":"2026-10-07T01:26:01Z","outputs":[{"name":"out","path":"/nix/store/dpc7l11yv278nw87mr9iglkb7cfscx2m-python3.13-pycosat-0.6.3","default":true},{"name":"dist","path":"/nix/store/6999lykwg93k60bqnaq1zd2d4zw383sw-python3.13-pycosat-0.6.3-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7dd199b0e2993e37b4775ed66b1c291699608c9f"},"attr_path":"python313Packages.pycosat"},"last_updated":"2026-10-07T01:26:01Z","outputs":[{"name":"out","path":"/nix/store/6warzwzk39pgp3gljq33pavsccd0xpqq-python3.13-pycosat-0.6.3","default":true},{"name":"dist","path":"/nix/store/w19crn78vchhw54kxbd9akbvmnlikhy2-python3.13-pycosat-0.6.3-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python313Packages.pycosat"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/s2i154s8cm2g7sg64adhb15ljihdny48-python3.13-pycosat-0.6.3","default":true},{"name":"dist","path":"/nix/store/hg7bsphsimgmrn3qiyjkf3mwk88vxlvq-python3.13-pycosat-0.6.3-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7dd199b0e2993e37b4775ed66b1c291699608c9f"},"attr_path":"python313Packages.pycosat"},"last_updated":"2026-10-07T01:26:01Z","outputs":[{"name":"out","path":"/nix/store/1nhv0kcv3016wplnwqxkiyxnmsvjj7nl-python3.13-pycosat-0.6.3","default":true},{"name":"dist","path":"/nix/store/j1p6bjrpszbcgbqblpxz43zapg9imaqn-python3.13-pycosat-0.6.3-dist"}]}}}