Is Your Problem Solvable?

Modern Boolean Satisfiability Problem (SAT) solvers utilise a ”smart” brute [...]