{"name":"python312Packages.pysmt","summary":"Python library for SMT formulae manipulation and solving","description":"","homepage_url":"https://github.com/pysmt/pysmt","license":"Apache-2.0","attribute_paths":["python312Packages.pysmt"],"releases":[{"version":"0.9.6","last_updated":"2025-11-23T21:50:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.pysmt","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.pysmt","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.pysmt","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.pysmt","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.5","last_updated":"2024-06-12T20:55:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.pysmt","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/bjkyvj35fp6v92dl4q3kc4ccimidr1dg-python3.12-pysmt-0.9.5","default":true},{"name":"dist","path":"/nix/store/n80c2500lvm7mw017hnrcjsfa3acshr1-python3.12-pysmt-0.9.5-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.pysmt","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/kqjn9zl9q1amfxj6yfms9g5z8jqbchq9-python3.12-pysmt-0.9.5","default":true},{"name":"dist","path":"/nix/store/c1qhlfgwjjgpks9mc2nyn20szhyv59nz-python3.12-pysmt-0.9.5-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.pysmt","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/sqxr7yyw1pqd4yh6b81acv20nrpqbcb7-python3.12-pysmt-0.9.5","default":true},{"name":"dist","path":"/nix/store/rby6x81gsxzncs1jx8sakrdkq1q5kkx5-python3.12-pysmt-0.9.5-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.pysmt","commit_hash":"a9858885e197f984d92d7fe64e9fff6b2e488d40","date":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/31ip5ajc7wliq5cqqjsslhr8fgqrx7d4-python3.12-pysmt-0.9.5","default":true},{"name":"dist","path":"/nix/store/ifp35kd88n57ih9zxc938gv0f39ndb6x-python3.12-pysmt-0.9.5-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}