naive-3-sat (npm): naive solver for the 3-sat problem
Keywords: naive|3-sat|np-complete|np|satisfiability|problem