Download net.automatalib JAR files with all dependencies
automata-jung-visualizer from group net.automatalib (version 0.11.0)
Visualizer using the Java Utility for Networks and Graphs
Group: net.automatalib Artifact: automata-jung-visualizer
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact automata-jung-visualizer
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies automata-api, automata-core, automata-commons-util, guava, jung-api, jung-algorithms, jung-graph-impl, jung-visualization, metainf-services, slf4j-api, graphviz-awt-shapes, testng,
There are maybe transitive dependencies!
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies automata-api, automata-core, automata-commons-util, guava, jung-api, jung-algorithms, jung-graph-impl, jung-visualization, metainf-services, slf4j-api, graphviz-awt-shapes, testng,
There are maybe transitive dependencies!
automata-dot-visualizer from group net.automatalib (version 0.11.0)
This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.org/) tool.
Group: net.automatalib Artifact: automata-dot-visualizer
Show all versions Show documentation Show source
Show all versions Show documentation Show source
1 downloads
Artifact automata-dot-visualizer
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-dot, guava, slf4j-api, checker-qual, metainf-services, cacio-tta, assertj-swing, assertj-swing-testng, testng,
There are maybe transitive dependencies!
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-dot, guava, slf4j-api, checker-qual, metainf-services, cacio-tta, assertj-swing, assertj-swing-testng, testng,
There are maybe transitive dependencies!
automata-visualization-parent from group net.automatalib (version 0.11.0)
Group: net.automatalib Artifact: automata-visualization-parent
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
automata-serialization-saf from group net.automatalib (version 0.11.0)
(De-)Serializers for the Simple Automaton Format
Group: net.automatalib Artifact: automata-serialization-saf
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact automata-serialization-saf
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies automata-serialization-core,
There are maybe transitive dependencies!
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies automata-serialization-core,
There are maybe transitive dependencies!
automata-serialization-learnlibv2 from group net.automatalib (version 0.11.0)
Group: net.automatalib Artifact: automata-serialization-learnlibv2
Show all versions Show documentation Show source
Show all versions Show documentation Show source
2 downloads
automata-serialization-aut from group net.automatalib (version 0.11.0)
Group: net.automatalib Artifact: automata-serialization-aut
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
automata-modelchecking-m3c from group net.automatalib (version 0.11.0)
0 downloads
automata-modelchecking-ltsmin from group net.automatalib (version 0.11.0)
This artifact provides the integration of the model checker "LTSmin" (https://ltsmin.utwente.nl/) as described
in the paper "Sound Black-Box Checking in the LearnLib" (https://dx.doi.org/10.1007/s11334-019-00342-6) by
Jeroen Meijer and Jaco van de Pol.
Note that this implementation requires a local installation of the LTSmin binaries (see
https://ltsmin.utwente.nl/) which are not explicitly included in this artifact due to packaging reasons.
Group: net.automatalib Artifact: automata-modelchecking-ltsmin
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact automata-modelchecking-ltsmin
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-etf, automata-serialization-fsm, automata-util, guava, slf4j-api, buildergen, checker-qual, testng,
There are maybe transitive dependencies!
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-etf, automata-serialization-fsm, automata-util, guava, slf4j-api, buildergen, checker-qual, testng,
There are maybe transitive dependencies!
automata-modelchecking-parent from group net.automatalib (version 0.11.0)
Group: net.automatalib Artifact: automata-modelchecking-parent
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
automata-serialization-taf from group net.automatalib (version 0.11.0)
Group: net.automatalib Artifact: automata-serialization-taf
Show all versions Show documentation Show source
Show all versions Show documentation Show source
1 downloads
Page 1 from 3 (items total 31)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy