{"name":"python313Packages.model-checker","version":"0.8.20","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/3vbi6lcq149irkr4kkh07613lbcghkyn-python3.13-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/260khwx62svf7y01jcld39b2rvidx0wz-python3.13-model-checker-0.8.20-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/2rg4hxs3kaxkxw7d7mvmqyksqgvbsizv-python3.13-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/w8cg67kcs62b4q6p0jakxv1sa2khlnk2-python3.13-model-checker-0.8.20-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/02cfg5a0frmax48b0k4wr94r4xl8if4r-python3.13-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/gi80yj6qjyrgdhkdqd74pjksmla05f6c-python3.13-model-checker-0.8.20-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/va6h51y95if0aa1rscdhb46z4a1bq9d7-python3.13-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/a9fmwdpi5g53fyh77274v44s2825x35j-python3.13-model-checker-0.8.20-dist"}]}}}