{"name":"python314Packages.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":"python314Packages.monosat"},"last_updated":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/5nz57xib32cx898w4fwd1y36brc7izzb-python3.14-monosat-1.8.0","default":true},{"name":"dist","path":"/nix/store/8q5spimr856qhz59dxbf6qy2qfd6lspk-python3.14-monosat-1.8.0-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a322c65bf7233456788a9ebf03bc067db7dc090a"},"attr_path":"python314Packages.monosat"},"last_updated":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/m06j8a1mg8y7mfm2r7bn6117kncawwic-python3.14-monosat-1.8.0","default":true},{"name":"dist","path":"/nix/store/4pvmkk0yp6bmdxrs63jlz26ykg4x8axg-python3.14-monosat-1.8.0-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python314Packages.monosat"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/3f7kfx77367x4wz8cjsfhw7psf7zrg72-python3.14-monosat-1.8.0","default":true},{"name":"dist","path":"/nix/store/0xxl9b86d1sj2a6cjdb31cfy5xn5i28l-python3.14-monosat-1.8.0-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a322c65bf7233456788a9ebf03bc067db7dc090a"},"attr_path":"python314Packages.monosat"},"last_updated":"2026-10-04T07:06:02Z","outputs":[{"name":"out","path":"/nix/store/yrx5h6aqxxc53pz4kv2kipx0737d2kk0-python3.14-monosat-1.8.0","default":true},{"name":"dist","path":"/nix/store/kw42xb8081rg5xhr5sn4lpyqdfvk4d1w-python3.14-monosat-1.8.0-dist"}]}}}