GitHub repository: nanolith/modelrunner
Primary language: TeX
Description: model checker runner