This is the codebase submitted in supplementary to my thesis work (URL TBD).
Use python run.py [Problem Definition File] to run the code under each project.
For example:
python run.py Nim.txt
python run.py DinePhi.txt
Change configurations in run.py for different hyperparameters.
For QSAT Change QDIMACS file in .\qsat\generated for different instances.
For Model-Check Change the TS definition in ./ts/TransitionSystem.py for different instances and also conf.py file for user configuration.