{"name":"python312Packages.model-checker","version":"0.4.12","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/ryk5iiabk3i4razx0jxk848mc7z4qg30-python3.12-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/1r9h0vpw1mvdqc6lyx4cz634a0aa25kk-python3.12-model-checker-0.4.12-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/0d565il8xqgwgh3gqy1ad7glr917qsjw-python3.12-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/1dskly9cfpz0bba1096wi5yr6jj6dqah-python3.12-model-checker-0.4.12-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/rknr374h7xsqdxjxwkkvnd3d1nj2pb63-python3.12-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/3xc97dnk5lcbyl7c4b48paf9s9mfwzjy-python3.12-model-checker-0.4.12-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/kw7wjqq3k8c1gf44lpqxl7h98kqxbqxm-python3.12-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/7nwjvhrydwzxaxh0x5isvpbksn8d95rg-python3.12-model-checker-0.4.12-dist"}]}}}