{"name":"python312Packages.model-checker","version":"1.2.12","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/iq6y2hzizwb063ai1dzjh1qzkrxcpvyn-python3.12-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/k2vnrmxkykl242mzgjcis0qszcdrkdz9-python3.12-model-checker-1.2.12-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/hryrhpx6h0fqls526fnrg539a5b0jibk-python3.12-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/l7gjmqgz3ky8cfbglkc30ncmkj4s1xg8-python3.12-model-checker-1.2.12-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/klh5mdk8xdh1kk1bqdm9zh5fmspikyq8-python3.12-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/irvdvhv9cq8j6j1wf9fjqq7wbd29ihc5-python3.12-model-checker-1.2.12-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/ck4rdiasdgaxk471cn3x1lk33x3hqjf4-python3.12-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/gxxi5vsm6rgmidbb8fiarx8lq75spz30-python3.12-model-checker-1.2.12-dist"}]}}}