/SAT-encoding

Encoding different problems into Boolean satisfiability

Primary LanguageC++

Stargazers