/CS402-Coursework1

Any formula to CNF converter and nonogram solver (using minisat)

Primary LanguageC++

Stargazers