GitHub repository: muldvarp/DiMo
Primary language: OCaml
Created: 2019-10-29T11:42:17Z
Description: A Tool for Discrete Modelling Using Propositional Logic