Download karat-examples JAR file with all dependencies
karat-examples from group com.47deg.karat (version 0.1.3-alpha.1)
A DSL to specify systems using linear temporal logic
Artifact karat-examples
Group com.47deg.karat
Version 0.1.3-alpha.1
Last update 12. May 2023
Tags: using linear systems specify logic temporal
Organization not specified
URL https://github.com/47degrees/karat
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!
Group com.47deg.karat
Version 0.1.3-alpha.1
Last update 12. May 2023
Tags: using linear systems specify logic temporal
Organization not specified
URL https://github.com/47degrees/karat
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)