Name | Version | Summary | date |
---|---|---|---|
pyModelChecking | 1.3.4 | A simple Python model checking package | 2024-09-02 12:07:57 |
ml2 | 0.2.0 | Machine Learning for Mathematics and Logics | 2024-01-19 16:29:32 |
ai-logics | 0.0.2 | Helpful in creating logics of any AI. | 2023-01-26 08:00:51 |
ai-win | 0.0.2.1 | Helpful in creating logics of any AI. | 2023-01-20 12:13:47 |
hour | day | week | total |
---|---|---|---|
36 | 873 | 9349 | 274571 |