{"name":"python311Packages.model-checker","version":"0.4.4","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f7207adcc68d9cafa29e3cd252a18743ae512c6a"},"attr_path":"python311Packages.model-checker"},"last_updated":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/ajw46fnpa27mfz5k46297acd797m2w8g-python3.11-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/2zg0rzkr71aamv300z970f7hyma4wwg7-python3.11-model-checker-0.4.4-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f7207adcc68d9cafa29e3cd252a18743ae512c6a"},"attr_path":"python311Packages.model-checker"},"last_updated":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/8cryw2zcrib22gifszq7cbnfflg5lq02-python3.11-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/vxj6hmibxhfw6c6vjdqgmz8xkpyhqmm7-python3.11-model-checker-0.4.4-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f7207adcc68d9cafa29e3cd252a18743ae512c6a"},"attr_path":"python311Packages.model-checker"},"last_updated":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/0xdgr1v12bviibk2mxmi43id6d9ip23g-python3.11-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/2kvvi9lvxw29gla4sn8j6wybm9zdbfzq-python3.11-model-checker-0.4.4-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f7207adcc68d9cafa29e3cd252a18743ae512c6a"},"attr_path":"python311Packages.model-checker"},"last_updated":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/hpk6d94fihr7f915n1n7g82zish3nzb1-python3.11-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/vjcg9wbypsl3nbhla5f3zdpxc2vzkx8m-python3.11-model-checker-0.4.4-dist"}]}}}