/SAT-Solver

A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.

Primary LanguageCBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Watchers