A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool