Comment by ziofill

Is the opposite possible? I mean to have the dependency resolver use a sat solver? Would it be faster/slower?