Name | Version | Summary | date |
---|---|---|---|
model-checker | 0.7.17 | A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. | 2025-01-23 22:37:32 |
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 |
---|---|---|---|
69 | 1288 | 7167 | 283668 |