Modern SAT solvers: fast, neat and underused (2018)
I seem to recall that a poorly scaling sat solver in conda-forge broke so badly in 2020 that it shifted the tectonic plates underneath the entire academic python ecosystem away from conda and towards pip.    Solving Environment | / - | \