Maintainer Mode
Sign in with GitHub

python3Packages.model-checker

model-checker 1.4.1 · pkgs/development/python-modules/model-checker/default.nix
Sign in to subscribe
Health
Risk
risk 0 ok
Version
1.4.1 no newer release known to repology
Channels
master 1.4.1 · nixos-unstable 1.4.1 · nixos-26.05 1.2.12 master is ahead of nixos-26.05
Hydra
no finished build of nixpkgs/unstable/python3Packages.model-checker.x86_64-linux
Advisories
none open
Packaging
meta complete
Packagewhat each field means
Description
Hyperintensional theorem prover for counterfactual conditionals and modal operators
Homepage
https://pypi.org/project/model-checker/
License
MIT
Platforms
31 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out dist
Status
not broken, not insecure, free
Position
pkgs/development/python-modules/model-checker/default.nix:40
Maintainers
fabaff
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Closed or merged in the synced window 3
python3Packages.model-checker: 1.3.9 -> 1.4.1
#570369 by r-ryantm · merged 11d ago
python3Packages.model-checker: 1.3.3 -> 1.3.9
#559487 by r-ryantm · merged 6w ago
python3Packages.model-checker: 1.2.12 -> 1.3.3
#552936 by r-ryantm · merged 2mo ago
Issues 0
None open.