2 ms·I think pip’s current resolving backend (resolvelib) doesn’t do any SAT solving.by woodruffw 2y agoI think pip’s current resolving backend (resolvelib) doesn’t do any SAT solving.