Generate k-SAT Problems

Create satisfiable k-SAT problems with planted solutions

Problem Generator

Create a satisfiable k-SAT problem with a planted solution