{"name":"python313Packages.model-checker","version":"0.5.6","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"python313Packages.model-checker"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/6g2snb8mdf15jin7j43pc42csiwx93n9-python3.13-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/w5c9554qm5rdm4xcmkx1psz9xgzwj424-python3.13-model-checker-0.5.6-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"python313Packages.model-checker"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/sv2x19b2q9jx0ys55fnwqr0jfff3pkfr-python3.13-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/lwk2kbsd96xacv6sq7jvzsjl6dpaiqnd-python3.13-model-checker-0.5.6-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"python313Packages.model-checker"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/6idb7s198pj1mwzc43iak1ajk0nq9qjg-python3.13-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/4qrfx1d05vsgjy55cgdmymjkxksx5crp-python3.13-model-checker-0.5.6-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"python313Packages.model-checker"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/ck1824mlf6i73dsqp958534kk4kazr90-python3.13-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/y09psfjqwnacascg4l2vr5rph041a57g-python3.13-model-checker-0.5.6-dist"}]}}}