py-resolvelib is a stub port
