{"name":"python312Packages.pysmt","version":"0.9.6","summary":"Python library for SMT formulae manipulation and solving","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.pysmt"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/m36nixmap6jvqdnrgnf98p2r7dz54sid-python3.12-pysmt-0.9.6","default":true},{"name":"dist","path":"/nix/store/1pqlgmfqjxamwxzznksraq1xwr14dcwa-python3.12-pysmt-0.9.6-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.pysmt"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/r9x0snw6b81zhvb3dpfv76vs2aw0jmmr-python3.12-pysmt-0.9.6","default":true},{"name":"dist","path":"/nix/store/mgd2gmlbd9zsgiv3ysbbpbvnd7vi9fjw-python3.12-pysmt-0.9.6-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.pysmt"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/wrjkg1n6519pd6gs49l3kxbv8f87qqys-python3.12-pysmt-0.9.6","default":true},{"name":"dist","path":"/nix/store/zpxrqs3if7bjhp7yjadmgwjnf5rq5z17-python3.12-pysmt-0.9.6-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.pysmt"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/z95h2mw1xfr0ninwx1ag5l6p11kp68ig-python3.12-pysmt-0.9.6","default":true},{"name":"dist","path":"/nix/store/g3i8wcdkjpb8wxpkryfsf5r9shnsfr5i-python3.12-pysmt-0.9.6-dist"}]}}}