This repository contains the user guide for the Neural Checker tool. It contains the following files:
Pythautomata.md: a tutorial on how to use the Pythautomata library.PyModelExtractor.md: a tutorial on how to use the PyModelExtractor library.UserGuide.ipynb: a Jupyter notebook containing a tutorial on how to use the Neural Checker tool.