{"name":"python313Packages.model-checker","version":"1.2.12","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f"},"attr_path":"python313Packages.model-checker"},"last_updated":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/pr97pwhw1axnpjj2ccv84wbq5lm7h68c-python3.13-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/nkp637d5r0garr6ak6i4qnbbkvyps1cs-python3.13-model-checker-1.2.12-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f"},"attr_path":"python313Packages.model-checker"},"last_updated":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/sf4rwv0m4wba9csnxg95ykz1fpj66bn0-python3.13-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/6zwjnlsshhnjks140qyds7kffma6ncn3-python3.13-model-checker-1.2.12-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python313Packages.model-checker"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/iw38ags3v4p0y58sk0379hg0yf0c646k-python3.13-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/256sz779fa2czh8z17fjil3i2av4izqv-python3.13-model-checker-1.2.12-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f"},"attr_path":"python313Packages.model-checker"},"last_updated":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/5vpjdqin8pa9cnr1ic33lmvxpj6gk9w0-python3.13-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/79gz39fjlhg85cmw12f3phmnjvsmzh72-python3.13-model-checker-1.2.12-dist"}]}}}