Thank you! I clicked all the links on the page and still had no idea what SAT or...

		jamestenglish on July 30, 2020 \| parent \| context \| favorite \| on: Kissat SAT Solver Thank you! I clicked all the links on the page and still had no idea what SAT or the SAT Competition was!