GitHub repository: tcsprojects/mlsolver
Primary language: OCaml
Description: A tool for solving the satisfiability and validity problems for modal fixpoint logics.