{"name":"python310Packages.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":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"python310Packages.pysmt"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/yy7jcl3khcn8vyib79iqwfafxw5aqlq0-python3.10-pysmt-0.9.5","default":true},{"name":"dist","path":"/nix/store/7d6xspfpqx9902mdhy7vjw80g09avhib-python3.10-pysmt-0.9.5-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"python310Packages.pysmt"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/3ka3zgr4yv3z148f47pd30c7z03an7yi-python3.10-pysmt-0.9.5","default":true},{"name":"dist","path":"/nix/store/pl47k7jwy7zzvqx31dhjf3ijp1mwagq7-python3.10-pysmt-0.9.5-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"python310Packages.pysmt"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/d3hg3dadmwbdmdlfkca1mahrqsiw19a8-python3.10-pysmt-0.9.5","default":true},{"name":"dist","path":"/nix/store/5ffmssqqqbhd46gcqhmmkllv3k9vnbrr-python3.10-pysmt-0.9.5-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"python310Packages.pysmt"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/4agnjq8masp63m4w02npa3f5sd3w5cvf-python3.10-pysmt-0.9.5","default":true},{"name":"dist","path":"/nix/store/hb56fvbwkgljwv8qygmwjdiynl15way5-python3.10-pysmt-0.9.5-dist"}]}}}