GitHub repository: maurice-herwig/DiMo
Description: A Tool for Discrete Modelling Using Propositional Logic