search

pradyunsg / zazo

Pure Python Dependency Resolution (see https://github.com/sarugaku/resolvelib/ instead)
MIT License
80 stars 7 forks source link

Look into PubGrub #9

Closed pradyunsg closed 4 years ago

pradyunsg commented 6 years ago

It's doing Unit Propagation, Basic Backtracking and maintaining something like the "conflict graph".

Look into it in more detail.