implementation("com.47deg.karat:karat-common:0.1.3-alpha.1")
karat-common offers a domain-specific language for specifying systems using linear temporal logic.