telingo
A solver for temporal logic programs.
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
noarch/telingo-2.1.3-pyhd8ed1ab_0.conda | conda | 2.1.3 | noarch | main | Feb 16, 2024, 08:37 AM | 31.05 KB | 1.3K | |
noarch/telingo-2.1.2-pyhd8ed1ab_0.tar.bz2 | conda | 2.1.2 | noarch | main | Jun 15, 2021, 06:53 PM | 27.53 KB | 2.6K |