natimellino/SAT-Solver
A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.
CBSD-3-Clause
A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.
CBSD-3-Clause