{"name":"python314Packages.model-checker","version":"1.3.9","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9013764fcc0ea99fa16cf7aa7decf8a5c3889dd2"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-10-04T16:11:07Z","outputs":[{"name":"out","path":"/nix/store/7n8cx4pn6lc08371a3vnb4h0dzl23iv3-python3.14-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/v9nad56gq5c5wff2qa12df48vs4i8iln-python3.14-model-checker-1.3.9-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9013764fcc0ea99fa16cf7aa7decf8a5c3889dd2"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-10-04T16:11:07Z","outputs":[{"name":"out","path":"/nix/store/9rpll5gfha5z7cw8fgcd2r59wb1i219g-python3.14-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/9qb9vp7xgcy64x2anlyjfybd68gvlmig-python3.14-model-checker-1.3.9-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9013764fcc0ea99fa16cf7aa7decf8a5c3889dd2"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-10-04T16:11:07Z","outputs":[{"name":"out","path":"/nix/store/021dmknsl6g6lj2b1a5fkr8hadjzp9dn-python3.14-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/p3a3fdw767z9xy5cm8n8fc54xcs1a7s4-python3.14-model-checker-1.3.9-dist"}]}}}