/satfactor

Convert an integer factorization problem into a boolean SATISFIABILITY problem.

Primary LanguageC++

Stargazers