Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org "transition-systems" keyword
net.automatalib:automata-misc-parent 0.6.0
Common parent metaproject for various miscellaneous additions (algorithms, automaton types) to ...9 versions - Latest release: almost 9 years ago - 80 stars on GitHub
net.automatalib:automata-examples 0.3.1
A collection of various small example applications that illustrate several use cases of Automat...4 versions - Latest release: over 10 years ago - 80 stars on GitHub
net.automatalib:automata-commons-util 0.11.0
Basic utility library containing several useful classes (e.g., a Pair class) to ease everyday pro...15 versions - Latest release: 7 months ago - 45 dependent packages - 8 dependent repositories - 80 stars on GitHub
net.automatalib:automata-visualization-parent 0.11.0
Automata and Graph visualization libraries.9 versions - Latest release: 7 months ago - 1 dependent package - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-serialization-parent 0.11.0
Serialization parent meta project for various (de-)serialization methods.8 versions - Latest release: 7 months ago - 1 dependent package - 4 dependent repositories - 80 stars on GitHub
net.automatalib:automata-serialization-taf 0.11.0
(De-)Serializers for the Textual Automaton Format8 versions - Latest release: 7 months ago - 3 dependent packages - 4 dependent repositories - 80 stars on GitHub
net.automatalib:automata-serialization-fsm 0.11.0
Deserializers for the Finite State Machine format4 versions - Latest release: 7 months ago - 3 dependent packages - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-serialization-learnlibv2 0.11.0
(De-)Serializers for the legacy LearnLibV2 format8 versions - Latest release: 7 months ago - 3 dependent packages - 7 dependent repositories - 80 stars on GitHub
net.automatalib:automata-core 0.11.0
The core artifact of AutomataLib. This library contains concrete implementations for many of the ...15 versions - Latest release: 7 months ago - 53 dependent packages - 11 dependent repositories - 80 stars on GitHub
net.automatalib:automata-jung-visualizer 0.11.0
Visualizer using the Java Utility for Networks and Graphs9 versions - Latest release: 7 months ago - 4 dependent packages - 10 dependent repositories - 80 stars on GitHub
net.automatalib:automata-dot-visualizer 0.11.0
This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.o...6 versions - Latest release: 7 months ago - 2 dependent packages - 8 dependent repositories - 80 stars on GitHub
net.automatalib:automata-build-parent 0.11.0
A utility artifact, that defines certain plugin executions for the build process. May be used to ...6 versions - Latest release: 7 months ago - 1 dependent package - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-serialization-etf 0.11.0
Serializers for LTSmin's Enumerated Table Format4 versions - Latest release: 7 months ago - 3 dependent packages - 3 dependent repositories - 80 stars on GitHub
net.automatalib.archetypes:basic 0.11.0
The basic archetype, which provides preconfigured dependencies for the basic usage of AutomataLib.6 versions - Latest release: 7 months ago - 1 dependent package - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-modelchecking-parent 0.11.0
Meta-module for various model checkers that can be used with automata and graph models from Autom...4 versions - Latest release: 7 months ago - 1 dependent package - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-modelchecking-ltsmin 0.11.0
This artifact provides the integration of the model checker "LTSmin" (https://ltsmin.utwente.nl/)...4 versions - Latest release: 7 months ago - 2 dependent packages - 8 dependent repositories - 80 stars on GitHub
net.automatalib:automata-brics 0.11.0
This artifact contains adapter classes for treating the Automaton objects from the BRICS library ...15 versions - Latest release: 7 months ago - 4 dependent packages - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-adapters-parent 0.11.0
Common parent meta-project for various adapters, i.e., wrapper class that allow to treat automato...15 versions - Latest release: 7 months ago - 1 dependent package - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-incremental 0.11.0
A library for incremental automata construction. This artifact contains algorithms for incrementa...15 versions - Latest release: 7 months ago - 5 dependent packages - 7 dependent repositories - 80 stars on GitHub
net.automatalib.archetypes:complete 0.11.0
The complete archetype, which provides preconfigured dependencies on all artifacts of AutomataLib.15 versions - Latest release: 7 months ago - 1 dependent package - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-build-tools 0.10.0
Tools and resources required for building AutomataLib5 versions - Latest release: over 3 years ago - 1 dependent package - 3 dependent repositories - 74 stars on GitHub
net.automatalib:automata-util 0.11.0
This artifact provides various common utility operations for analyzing and manipulating automata ...15 versions - Latest release: 7 months ago - 41 dependent packages - 12 dependent repositories - 80 stars on GitHub
net.automatalib:automata-api 0.11.0
This artifact contains the API of AutomataLib, which mainly consists of interfaces for the variou...15 versions - Latest release: 7 months ago - 60 dependent packages - 10 dependent repositories - 80 stars on GitHub
net.automatalib:automata-commons-parent 0.11.0
Common parent metaproject for various small Java libraries which are required by AutomataLib, but...15 versions - Latest release: 7 months ago - 1 dependent package - 3 dependent repositories - 80 stars on GitHub
net.automatalib.distribution:automata-distribution 0.11.0
An artifact that aggregates all other artifacts of AutomataLib to produce an Uber-JAR that can be...11 versions - Latest release: 7 months ago - 4 dependent packages - 15 dependent repositories - 80 stars on GitHub
net.automatalib:automata-serialization-dot 0.11.0
(De-)Serializers for the DOT Format6 versions - Latest release: 7 months ago - 9 dependent packages - 9 dependent repositories - 80 stars on GitHub
net.automatalib:automata-serialization-saf 0.11.0
(De-)Serializers for the Simple Automaton Format8 versions - Latest release: 7 months ago - 2 dependent packages - 4 dependent repositories - 80 stars on GitHub
net.automatalib.archetypes:automata-archetypes-parent 0.11.0
Parent metaproject for archetypes that facilitate getting started with AutomataLib.15 versions - Latest release: 7 months ago - 1 dependent package - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-serialization-aut 0.11.0
(De-)Serializers for the AUT Format6 versions - Latest release: 7 months ago - 2 dependent packages - 3 dependent repositories - 80 stars on GitHub
net.automatalib:automata-parent 0.11.0
A fully generic library for automata, graphs, and models, written in Java. This is the parent art...16 versions - Latest release: 7 months ago - 1 dependent package - 7 dependent repositories - 80 stars on GitHub
net.automatalib:automata-commons-smartcollections 0.11.0
This artifact provides efficient implementations for various collection data structures (esp. lin...15 versions - Latest release: 7 months ago - 19 dependent packages - 7 dependent repositories - 80 stars on GitHub
net.automatalib:automata-serialization-core 0.11.0
Generic automata serialization core8 versions - Latest release: 7 months ago - 9 dependent packages - 4 dependent repositories - 80 stars on GitHub
net.automatalib:automata-commons-dotutil 0.6.0
This utility artifact contains methods that facilitate interaction with the <a href="http://www...9 versions - Latest release: almost 9 years ago - 12 dependent packages - 11 dependent repositories - 80 stars on GitHub
net.automatalib.archetypes:typical 0.6.0
Parent metaproject for archetypes that facilitate getting started with AutomataLib.9 versions - Latest release: almost 9 years ago - 1 dependent package - 80 stars on GitHub
net.automatalib.archetypes:core 0.6.0
Parent metaproject for archetypes that facilitate getting started with AutomataLib.9 versions - Latest release: almost 9 years ago - 1 dependent package - 80 stars on GitHub
Related Keywords