{"name":"python312Packages.model-checker","version":"1.2.10","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"53614373268559d054c080d070cfc732dbe68ac4"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-09-26T19:57:07Z","outputs":[{"name":"out","path":"/nix/store/mklj273hbhnhsps6jpp6nw68x1gvczh9-python3.12-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/201dbdx3f7p0jg1yhglv5k1dq66mi1pb-python3.12-model-checker-1.2.10-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"647e5c14cbd5067f44ac86b74f014962df460840"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-09-28T14:42:27Z","outputs":[{"name":"out","path":"/nix/store/71m4b3dpyg8467wdyfxlcmr1swaz90xv-python3.12-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/srwfvsx2zlll8zk6xnhvk83b18r0d720-python3.12-model-checker-1.2.10-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e3a3b32cc234f1683258d36c6232f150d57df015"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-09-27T12:33:33Z","outputs":[{"name":"out","path":"/nix/store/kmc9g8jh4g5l3qz79s5sy93hrw83q1jl-python3.12-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/xw2viip9vl9cspp8zwl6cwwpvir7r2ks-python3.12-model-checker-1.2.10-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"647e5c14cbd5067f44ac86b74f014962df460840"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-09-28T14:42:27Z","outputs":[{"name":"out","path":"/nix/store/1x4w2z38smmmzindyzwy7vvh8kbkdmfj-python3.12-model-checker-1.2.10","default":true},{"name":"dist","path":"/nix/store/qc3mszsg5izj5vhpz1b7v0hizv78ibh6-python3.12-model-checker-1.2.10-dist"}]}}}