Most package managers don't actually use SAT, because it's hard to get data abou...

		hwayne on Feb 26, 2023 \| parent \| context \| favorite \| on: Why SAT Is Hard Most package managers don't actually use SAT, because it's hard to get data about the version conflicts when it's unsatisfiable.