https://github.com/sarugaku/resolvelib/ https://pypi.org/project/resolvelib/
