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

Download karat-examples JAR file with all dependencies

Search JAR files by class name

karat-examples from group com.47deg.karat (version 0.1.2-alpha.1)

A DSL to specify systems using linear temporal logic

Group: com.47deg.karat Artifact: karat-examples
Show documentation Show source 
 

0 downloads
Artifact karat-examples
Group com.47deg.karat
Version 0.1.2-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)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy