GitHub repository: AdamJayne/HackASatSolutions
Primary language: Python
Description: Solutions and attempts for the Hack-A-Sat competition, as solved by The Major Dingoes