Yep, *from* SAT. Edited. Guess I typed that too fast :)

		tgamblin on May 26, 2023 \| parent \| context \| favorite \| on: Modern SAT solvers: fast, neat and underused (2018... Yep, from SAT. Edited. Guess I typed that too fast :)