A model checking tool for sabotage model logic(s)
Primary LanguageHaskellGNU General Public License v2.0GPL-2.0
This repository is not active