{"name":"python313Packages.monosat","version":"1.8.0","summary":"SMT solver for Monotonic Theories","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a322c65bf7233456788a9ebf03bc067db7dc090a"},"attr_path":"python313Packages.monosat"},"last_updated":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/hpdigb1i3430a8mqqfhpv190ip39y0rw-python3.13-monosat-1.8.0","default":true},{"name":"dist","path":"/nix/store/yg4bvzk4r9hdd7wra5071rhj0hj8xx9l-python3.13-monosat-1.8.0-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a322c65bf7233456788a9ebf03bc067db7dc090a"},"attr_path":"python313Packages.monosat"},"last_updated":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/lv2d6rndz3sl46b99nphzz8nz0b9dn94-python3.13-monosat-1.8.0","default":true},{"name":"dist","path":"/nix/store/xkksick7p6kxbkxzis7dzr2s29xr2v1d-python3.13-monosat-1.8.0-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python313Packages.monosat"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/s45pwxpraf1ykbcj2l1agqqlkxph36r1-python3.13-monosat-1.8.0","default":true},{"name":"dist","path":"/nix/store/vld5hgx58avfxpybldaidhwdflzx4c1r-python3.13-monosat-1.8.0-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a322c65bf7233456788a9ebf03bc067db7dc090a"},"attr_path":"python313Packages.monosat"},"last_updated":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/rl0mifxdpzfxv0jqpny88g427af26lxi-python3.13-monosat-1.8.0","default":true},{"name":"dist","path":"/nix/store/rh6j70kq42w4x5qq3jk2h2r2w0pw26w2-python3.13-monosat-1.8.0-dist"}]}}}