
implementation("com.xebia.karat:karat-common:0.1.3")Defines a domain-specific language for specifying systems using linear temporal logic.
| Version | Release | Platforms |
|---|---|---|
| 0.1.3 | Release: 10 Aug 2023 | JVMJSmacOSLinux |
| 0.1.3-alpha.3 | Release: 10 Aug 2023 | JVMJSmacOSLinux |
| Version | Release | Platforms |
|---|---|---|
| 0.1.3 | Release: 10 Aug 2023 | JVMJSmacOSLinux |
| 0.1.3-alpha.3 | Release: 10 Aug 2023 | JVMJSmacOSLinux |