Download JAR files tagged by automata with all dependencies

catlib from group io.github.contractautomataproject (version 1.0.2)

Library for specifying and verifying contract automata.

Group: io.github.contractautomataproject Artifact: catlib
Show all versions Show documentation Show source

0 downloads

Artifact catlib
Group io.github.contractautomataproject
Version 1.0.2
Last update 24. February 2023
Organization not specified
URL https://github.com/ContractAutomataProject/ContractAutomataLib
License >GNU General Public License v3.0
Dependencies amount 4
Dependencies mutation-testing-elements, re2j, org.ow2.sat4j.core, maven-gpg-plugin,
There are maybe transitive dependencies!

edomata-core_3 from group io.github.hnaderi (version 0.1.0)

Purely functional event-driven automata

Group: io.github.hnaderi Artifact: edomata-core_3
Show documentation Show source

0 downloads

Artifact edomata-core_3
Group io.github.hnaderi
Version 0.1.0
Last update 03. May 2022
Organization Hossein Naderi
URL https://hnaderi.github.io/edomata
License Apache-2.0
Dependencies amount 2
Dependencies scala3-library_3, cats-core_3,
There are maybe transitive dependencies!

edomata-core_sjs1_3 from group io.github.hnaderi (version 0.1.0)

Purely functional event-driven automata

Group: io.github.hnaderi Artifact: edomata-core_sjs1_3
Show documentation Show source

0 downloads

Artifact edomata-core_sjs1_3
Group io.github.hnaderi
Version 0.1.0
Last update 03. May 2022
Organization Hossein Naderi
URL https://hnaderi.github.io/edomata
License Apache-2.0
Dependencies amount 5
Dependencies scala3-library_sjs1_3, scalajs-library_2.13, cats-core_sjs1_3, scala-java-time_sjs1_3, scalajs-java-securerandom_sjs1_2.13,
There are maybe transitive dependencies!

morfologik-fsa-builders from group org.carrot2 (version 2.1.9)

Morfologik Finite State Automata Builder

Group: org.carrot2 Artifact: morfologik-fsa-builders
Show all versions Show documentation Show source

4 downloads

Artifact morfologik-fsa-builders
Group org.carrot2
Version 2.1.9
Last update 26. April 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies morfologik-fsa, hppc,
There are maybe transitive dependencies!

morfologik-fsa from group org.carrot2 (version 2.1.9)

Morfologik Finite State Automata Traversal.

Group: org.carrot2 Artifact: morfologik-fsa
Show all versions Show documentation Show source

4 downloads

Artifact morfologik-fsa
Group org.carrot2
Version 2.1.9
Last update 26. April 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

ContractAutomataLib from group io.github.davidebasile (version 0.0.1)

Library for specifying and verifying contract automata.

Group: io.github.davidebasile Artifact: ContractAutomataLib
Show documentation Show source

0 downloads

Artifact ContractAutomataLib
Group io.github.davidebasile
Version 0.0.1
Last update 22. September 2021
Organization not specified
URL https://github.com/davidebasile/ContractAutomataLib
License >GNU General Public License v3.0
Dependencies amount 3
Dependencies json, org.ow2.sat4j.core, maven-gpg-plugin,
There are maybe transitive dependencies!

kotlmata from group kr.co.plasticcity (version 1.0.8)

Automata-based programming library for Kotlin.

Group: kr.co.plasticcity Artifact: kotlmata
Show all versions Show documentation Show source

0 downloads

Artifact kotlmata
Group kr.co.plasticcity
Version 1.0.8
Last update 18. August 2021
Organization not specified
URL https://github.com/phy31c3/Kotlmata
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

learnlib-algorithms-parent from group de.learnlib (version 0.17.0)

Group: de.learnlib Artifact: learnlib-algorithms-parent
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact learnlib-algorithms-parent
Group de.learnlib
Version 0.17.0

learnlib-counterexamples from group de.learnlib (version 0.17.0)

A collection of standard algorithms for handling counterexamples in automata learning

Group: de.learnlib Artifact: learnlib-counterexamples
Show all versions Show documentation Show source

0 downloads

Artifact learnlib-counterexamples
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies learnlib-core, automata-api, testng,
There are maybe transitive dependencies!

learnlib-ttt-vpda from group de.learnlib (version 0.16.0)

The TTT Algorithm (visibly push-down automata variant)

Group: de.learnlib Artifact: learnlib-ttt-vpda
Show all versions Show documentation Show source

0 downloads

Artifact learnlib-ttt-vpda
Group de.learnlib
Version 0.16.0
Last update 12. October 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies learnlib-acex, learnlib-api, learnlib-datastructure-dt, learnlib-discrimination-tree-vpda, guava, automata-api, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!

Page 2 from 8 (items total 72)