Download karat-alloy JAR file with all dependencies
karat-alloy from group com.xebia.karat (version 0.1.3-alpha.3)
A DSL to specify systems using linear temporal logic
Artifact karat-alloy
Group com.xebia.karat
Version 0.1.3-alpha.3
Last update 10. August 2023
Tags: using linear systems specify logic temporal
Organization not specified
URL https://github.com/xebia-functional/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.xebia.karat
Version 0.1.3-alpha.3
Last update 10. August 2023
Tags: using linear systems specify logic temporal
Organization not specified
URL https://github.com/xebia-functional/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)