Satisfiability problem

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