GitHub - ttudii/SAT-Solver: Developed a sophisticated SAT (Boolean Satisfiability) solver from the ground up in Haskell as part of my coursework in advanced programming paradigms. The project's architecture is inspired by state-of-the-art algorithms like Conflict-Driven Clause Learning (CDCL), enabling it to efficiently navigate the solution space for NP-complete problems.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
ExtendedFormula.hs		ExtendedFormula.hs
Formula.hs		Formula.hs
Solver.hs		Solver.hs

About

Developed a sophisticated SAT (Boolean Satisfiability) solver from the ground up in Haskell as part of my coursework in advanced programming paradigms. The project's architecture is inspired by state-of-the-art algorithms like Conflict-Driven Clause Learning (CDCL), enabling it to efficiently navigate the solution space for NP-complete problems.