[rwmj]

dnf is (or rather, was) written in Python and uses a SAT solver to solve dependencies for package installs in Fedora.