{"name":"python313Packages.model-checker","version":"0.7.17","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/2gjvxlbd9q6m1z7sbdda6pr6nwksda4g-python3.13-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/qkh1g6xdsziwyj7cjzhgn2jc9hxyadip-python3.13-model-checker-0.7.17-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/h72plgpx73g5ajm3f1v0l594idy2zmz6-python3.13-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/mj0nxi038d7cy9z6lry57kw6c3mkwcrw-python3.13-model-checker-0.7.17-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/zkj7wjhgap4bb94461n7w6shvmw0hr53-python3.13-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/vypchhidaq9z6nvv644mp75874gn1qbf-python3.13-model-checker-0.7.17-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/8rqcmll1ydkagzj9yjnllf7h3hn3yng2-python3.13-model-checker-0.7.17","default":true},{"name":"dist","path":"/nix/store/czmj5zp67j49d8d1wnhlb7nl1dkk0xda-python3.13-model-checker-0.7.17-dist"}]}}}