https://pypi.org/project/minictl/ Recent updates to the Python Package Index for minictl en https://pypi.org/project/minictl/0.1.9/ A small model checker for Computational Tree Logic Thu, 10 Apr 2025 11:29:10 GMT https://pypi.org/project/minictl/0.1.8/ A small model checker for Computational Tree Logic Wed, 09 Apr 2025 11:10:58 GMT https://pypi.org/project/minictl/0.1.7/ A small model checker for Computational Tree Logic Tue, 08 Apr 2025 08:22:05 GMT https://pypi.org/project/minictl/0.1.0/ None Mon, 10 Mar 2025 11:01:58 GMT