README.md

haskell-sat-solver

I started building a simple CDCL sat solver in haskell, mostly to learn and explore the subject. I learned a lot but also made it too complicated. Perhaps I will start over.