This project has declared the following modules:
Name | Description |
---|---|
AutomataLib :: Adapters :: BRICS | This artifact contains adapter classes for treating the <tt>Automaton</tt> objects from the <a href="http://www.brics.dk/automaton">BRICS library</a> as AutomataLib models. |