Reverse Dependencies of visual-automata

The following projects have a declared dependency on visual-automata:

• vitamin-model-checker — The VITAMIN model checker python package
• vitamin-model-checker-test — The VITAMIN model checker python package