{"name":"python313Packages.model-checker","version":"0.8.6","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/h40s7909crwxwlprvlqlhzk0h98q6lya-python3.13-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/ibqnbfcvwkz81xfgwzw58lsfax4l4rrp-python3.13-model-checker-0.8.6-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/smm4zyx9m74rcknvnn4dy9gpxdk9gyd1-python3.13-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/j1pxvqifssa85ljb8fmk4zgzvfyj8dxa-python3.13-model-checker-0.8.6-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/1n44fv4mv8q5ck8qfdbclh509xdcd2br-python3.13-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/s8cwm9496abszzkmki3ww22aax3ibhvz-python3.13-model-checker-0.8.6-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"95eacfb6d1accf8d59a9e570d26d04ad693d2ec3"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-03-03T13:00:40Z","outputs":[{"name":"out","path":"/nix/store/raridqgm30mcq5s1zn5j87mzdlj45hn5-python3.13-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/28rm5ff5c10lraknsp13200gk94i47cq-python3.13-model-checker-0.8.6-dist"}]}}}