Best Way to Get Help

Stratagem Model Checker says the best way to get help with its software is by visiting http://mundacho.github.io/stratagem/.

Other Ways Of Getting Help

Here are some other places where you can look for information about this project.

Project Homepage

This project has a homepage which can be found at http://mundacho.github.io/stratagem/.