{"name":"python312Packages.model-checker","version":"0.9.28","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b74a30dbc0a72e20df07d43109339f780b439291"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/n2vy6lsk8fy54l4w106bcibhbvqd9cnk-python3.12-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/qypzn41q9slsh7bhqrdxnjnyp30rpml2-python3.12-model-checker-0.9.28-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b74a30dbc0a72e20df07d43109339f780b439291"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/ncsgr2hp2fsjpkdq7iw2b21yjirbcgl4-python3.12-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/d46r8zchy388i7gdlvs9ywyj26iwnylm-python3.12-model-checker-0.9.28-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b74a30dbc0a72e20df07d43109339f780b439291"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/cjbfiq2r6spr4z3b12gxvda6446kmy3r-python3.12-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/0pkjdj4h5fh0qyh1da5p27v8x5k83z33-python3.12-model-checker-0.9.28-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b74a30dbc0a72e20df07d43109339f780b439291"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/npxpkbfhph55zqpzcyf9frn51z07xxch-python3.12-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/hpwvnk2zjn7mnsmwnrps1can71214r2n-python3.12-model-checker-0.9.28-dist"}]}}}