{"name":"python312Packages.model-checker","version":"0.9.21","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/bnprcnxvxgqn736phk8lzkyh7cal139a-python3.12-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/i0wizcr844hf90q1m7x0g9lnkc75g4cw-python3.12-model-checker-0.9.21-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/w12wq5wkdmd0zwwcpn2dsxlwb0aajlyc-python3.12-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/81lv71d3ac588x7mich369z50p8lss9p-python3.12-model-checker-0.9.21-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/ixmkfdd96nnanigky8r3gj35p3ax1hlx-python3.12-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/9camx2kq195wgj34izmk3nwn6sj43n77-python3.12-model-checker-0.9.21-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/4najjgizq1jx5w6anl81xrfs0r0kdsd9-python3.12-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/0s05wwx91m1w3c77cjwizpxpmlk2wqv5-python3.12-model-checker-0.9.21-dist"}]}}}