juesato/mario3sat — pull request #1 by juesato (2014-10-05 06:28:20+00:00)
Title: everything works bitches

this turns a 3-SAT problem into a mario map