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.
This repository has been archived by the owner on Feb 26, 2024. It is now read-only.