yum used ad-hoc Python code. It was also incredibly slow and often couldn't find...

		rwmj on May 27, 2023 \| parent \| context \| favorite \| on: Modern SAT solvers: fast, neat and underused (2018... yum used ad-hoc Python code. It was also incredibly slow and often couldn't find a solution.