dnf _is_ using openSUSE's sat-solver (libsolv). They reinvented the upper layers.