{"name":"python313Packages.model-checker","version":"0.8.8","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8f76cf16b17c51ae0cc8e55488069593f6dab645"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-03-16T16:17:41Z","outputs":[{"name":"out","path":"/nix/store/5q2zdqarvf83wpsgjiagagbz02i7isnv-python3.13-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/6h8i2wr0cfs97g2mbjaxxzc7bazb6xdg-python3.13-model-checker-0.8.8-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b9d43b3fe5152d1dc5783a2ba865b2a03388b741"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-01T20:08:20Z","outputs":[{"name":"out","path":"/nix/store/ic56jjdd29jkghi21qj5hadc99j5mlb3-python3.13-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/7wdn2lqn0s7xai24v8484s04f684kaap-python3.13-model-checker-0.8.8-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8f76cf16b17c51ae0cc8e55488069593f6dab645"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-03-16T16:17:41Z","outputs":[{"name":"out","path":"/nix/store/069nc6vpb1jfmwx1x50p04vln3mhv6nk-python3.13-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/4mcr50wzwdhl9q07k9z1id5n2ydbcdzd-python3.13-model-checker-0.8.8-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dd613136ee91f67e5dba3f3f41ac99ae89c5406b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-03-23T05:31:05Z","outputs":[{"name":"out","path":"/nix/store/049cjhnil5g5i1ynn4qvqdn4hmxh5mjl-python3.13-model-checker-0.8.8","default":true},{"name":"dist","path":"/nix/store/h4s48ckjc0h0iy18vzmccjr81vmj8ssl-python3.13-model-checker-0.8.8-dist"}]}}}