{"name":"python312Packages.pysmt","version":"0.9.5","summary":"Python library for SMT formulae manipulation and solving","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9858885e197f984d92d7fe64e9fff6b2e488d40"},"attr_path":"python312Packages.pysmt"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9858885e197f984d92d7fe64e9fff6b2e488d40"},"attr_path":"python312Packages.pysmt"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9858885e197f984d92d7fe64e9fff6b2e488d40"},"attr_path":"python312Packages.pysmt"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9858885e197f984d92d7fe64e9fff6b2e488d40"},"attr_path":"python312Packages.pysmt"},"last_updated":"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"}]}}}