{"name":"python312Packages.model-checker","version":"0.8.6","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/ywzkzjkbvb08r5sfsy13hwqigfzsc9hn-python3.12-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/966qr8f7gcpqyz2188p5z4kzdyg4w7hk-python3.12-model-checker-0.8.6-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/4rfjcfi46xjali3113a727rlhf0vqvw9-python3.12-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/vhn4n2dg6yz8wg8rlk9qc2a5sacr4wpm-python3.12-model-checker-0.8.6-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/nwhigbfiwpgh94zv9qbas3fzqh66kgyb-python3.12-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/fg4wr8chl6a6cmc9lq7868z9w3h1zdq6-python3.12-model-checker-0.8.6-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/grq1j9p0mia6sa4djw2hvwdzg373inda-python3.12-model-checker-0.8.6","default":true},{"name":"dist","path":"/nix/store/s8ay83smp2r4j027n8s7w5gqn4impg5i-python3.12-model-checker-0.8.6-dist"}]}}}