You're looking at StableBuild's Deleted PyPI mirror - where we index all deleted packages from the Python package registry.

model-checker
0.5.9

This version was deleted from PyPI around 2024-12-24. Installing fails with:
$ pip3 install model-checker==0.5.9 ERROR: Could not find a version that satisfies the requirement model-checker==0.5.9
View other deleted versions of model-checker

Install through StableBuild

You can install this package from StableBuild's PyPI snapshots from before the version was deleted:
pip3 install \ -i https://YOUR_API_KEY.pypimirror.stablebuild.com/2024-12-23/ \ model-checker==0.5.9
Sign up for StableBuild to get an API key (it's free and takes <60 seconds!)

Or, download files manually

And install manually via pip:
model_checker-0.5.9-py3-none-any.whl (94.3KB)
model_checker-0.5.9.tar.gz (85.7KB)