| Name | Version | Summary | date |
|---|---|---|---|
| model-checker | 0.9.36 | A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. | 2025-08-06 00:03:24 |
| stlmc | 1.0.0.dev3 | An SMT-based bounded model checker for signal temporal logic | 2025-01-21 19:19:42 |
| hour | day | week | total |
|---|---|---|---|
| 95 | 2282 | 10495 | 307468 |