Solving a Puzzlehunt with Satisfiability Modulo Theoriesprogramsareproofs.com3 points·teh_matt··0 commentsOpen articleSaveView on HN