SAT-Solver A SAT solver in Haskell Work in progress (As part of Functional Programming course) TEAM : Abhimanyu Arora - 11907013 Sharun Shaju - 11907674 Vijay Keswani - 11907799