Download karat-alloy JAR file with all dependencies
karat-alloy from group com.47deg.karat (version 0.1.3-alpha.1)
A DSL to specify systems using linear temporal logic
Artifact karat-alloy
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 3
Dependencies karat-common-jvm, org.alloytools.alloy.dist, 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 3
Dependencies karat-common-jvm, org.alloytools.alloy.dist, kotlin-stdlib-jdk8,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)