Testing the Delta properties from the Mata automata library.
Link: https://github.com/verifit/mata
This project is used as a simulation of Delta to compare different approaches. NFA is implemented at a basic level to test Delta functionality. Delta must remain flexible to test effectively.
make runMIT