Bool-sat problem faced by Package manager — see talk about uv at Jane Street Constraint satisfaction problem