Solving a Puzzlehunt with Satisfiability Modulo Theories #1 Post by teh_matt » Wed, Mar 31, 2021, 7:43 PM UTC Solving a Puzzlehunt with Satisfiability Modulo Theoriesprogramsareproofs.com