Convert an integer factorization problem into a boolean SATISFIABILITY problem.
Primary LanguageC++
No issues in this repository yet.