SAT solver framework from Todd Bandrowsky