repo1.maven.org : net.automatalib:automata-brics
This artifact contains adapter classes for treating the Automaton objects from the BRICS library (http://www.brics.dk/automaton) as AutomataLib models.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/net.automatalib/automata-brics
Keywords:
automata
, graph
, java
, java-library
, transition-systems
License: Apache-2.0,Apache-2.0
Latest release: 5 months ago
First release: about 12 years ago
Namespace: net.automatalib
Dependent packages: 4
Dependent repositories: 3
Stars: 95 on GitHub
Forks: 32 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago