UPB-ADT-Automata-Tools

Code repository for the project "Automata Tools". This project is part of the Lecture "Verlässliches Programmieren in C/C++" of the department "Angewandte Datentechnik" at the Universität Paderborn.