All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download karat-alloy JAR file with all dependencies

Search JAR files by class name

karat-alloy from group com.xebia.karat (version 0.1.3-alpha.3)

A DSL to specify systems using linear temporal logic

Group: com.xebia.karat Artifact: karat-alloy
Show documentation Show source 
 

0 downloads
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!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy