Project Modules

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.