{"name":"python311Packages.model-checker","version":"0.4.12","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"python311Packages.model-checker"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/4l5nrisgsf4km3klxi6gaz2km395b4n5-python3.11-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/k2f42f16z4nbp3p6igddjy1zpvljf2if-python3.11-model-checker-0.4.12-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"python311Packages.model-checker"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/gis61f85rs6nww2nyy4ljsmj5n4cvwwp-python3.11-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/9wa5b2v8rgyi5qxvq9lz076amrpmyp9d-python3.11-model-checker-0.4.12-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"python311Packages.model-checker"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/3vqi4b0km5k65flqhylx3wlxh8x425sb-python3.11-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/30jpfhsgnmjxv9z59v499phx4qc7xj5y-python3.11-model-checker-0.4.12-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"python311Packages.model-checker"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/y47z78iwhb0h2jvs165kwahqd9sbmfx1-python3.11-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/g3zn7vqkbszsc71v286vy6v178n32irk-python3.11-model-checker-0.4.12-dist"}]}}}