{"name":"python312Packages.model-checker","version":"0.9.16","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/jzz7j1ns3dxvrh7483cw2mqkp2ncvv7k-python3.12-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/ww0lsx8i1i7v56i6401sxz2vz8kir3z0-python3.12-model-checker-0.9.16-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/wa109r15146ii7an6qz8n8i64665xa5i-python3.12-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/hq1fi3mhxsqigb9fqqkw4ybbiv7ff316-python3.12-model-checker-0.9.16-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/i7b0ppr0i61yjj6kywb1zkarx0mhk5ys-python3.12-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/0g7qqyk6jblw1ls3xcgszgcalwvjkkvw-python3.12-model-checker-0.9.16-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/xf15f5sfj5kc9bqfya1l3jkbskamkggv-python3.12-model-checker-0.9.16","default":true},{"name":"dist","path":"/nix/store/kj30398h4ck9a9mkx7hhcyr00drpj070-python3.12-model-checker-0.9.16-dist"}]}}}