{"name":"python313Packages.model-checker","version":"1.2.11","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/80n83lsz1l1xnyc365bcdj4qjqf8qbkc-python3.13-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/5qc6dvzy8bfsj7l9cwvk6vnxy6xkpy8w-python3.13-model-checker-1.2.11-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/8p350fcrxjlqjwrgq78pk6cgm32an63l-python3.13-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/bnzc7v61hivjqmnn2q1m1f5i0ddg38qq-python3.13-model-checker-1.2.11-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/13zvahh85ag81cqm0bksb0my4v346gpa-python3.13-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/rn3yk9rp9333mlajnjagpdfay61nncd6-python3.13-model-checker-1.2.11-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/jifdkp5cz2mhb9waim7ha76v53p7cnrk-python3.13-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/z9xgz5wpp1wsbcjjarxjqq1m05cv0fla-python3.13-model-checker-1.2.11-dist"}]}}}