Simple SAT Solver in Haskell | Heykuki News