Noq - Logic puzzle solver
by Michael and Jenna, using claspy