{"name":"python312Packages.model-checker","version":"0.9.31","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/2f2v6s48mq5vw4swrfmbin04plnr7q22-python3.12-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/wi6h2hhmnl2jglgibgc8l19vrmqb96da-python3.12-model-checker-0.9.31-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/2rry025q7mz0aqdbly62mwf3fdkr5cf1-python3.12-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/wlyg0pwh6j0f1wq5q9cq103vidyhcb56-python3.12-model-checker-0.9.31-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/s4bdrxfffwjhw5fb509cscsqaafyhbm1-python3.12-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/2kxja1j2h7fpxkcc6zsqd3icj5y75gci-python3.12-model-checker-0.9.31-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/qaw1s65857zhxibs04272kw759rzbvbb-python3.12-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/z5fj4fc9jaqp30fnpvzcfjg0mbkp9i6g-python3.12-model-checker-0.9.31-dist"}]}}}