{"name":"python313Packages.model-checker","version":"0.8.2","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2d068ae5c6516b2d04562de50a58c682540de9bf"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/5h5gw19jsg9mb96ckhnsv57i984sb60b-python3.13-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/9akmwmprx40fc1r7cykj9xk6jh196w89-python3.13-model-checker-0.8.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2d068ae5c6516b2d04562de50a58c682540de9bf"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/qmh3vqljlrar4jhskaqi1jcwspyr1rf6-python3.13-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/9rrxjgpm6p3m3i4n7d9wl9x8mzh7pwq9-python3.13-model-checker-0.8.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2d068ae5c6516b2d04562de50a58c682540de9bf"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/01hhhg8ymq42vazm869hby1ys6rjj4ss-python3.13-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/lhlpi22sb0ibqm8nw0xkpqly51r6f090-python3.13-model-checker-0.8.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2d068ae5c6516b2d04562de50a58c682540de9bf"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/qgv7109r521lq2byk47ycn5818vslwjy-python3.13-model-checker-0.8.2","default":true},{"name":"dist","path":"/nix/store/30nxyylzrwl7s1jx9py8brvwnfvy972c-python3.13-model-checker-0.8.2-dist"}]}}}