{ } satdepsolver C++ dependency solver for package versions and constraints. cppdependenciespackage-managementsatsolver Name match