Comment by yochem

No way pip actually is a really inefficient SAT solver!