a naive SAT solver in swift for fun
Primary LanguageSwift
https://en.wikipedia.org/wiki/Satisfiability