sat_dependency_resolver
