Mercury was born as an attempt to do a green field implementation of dependency management as SAT Solver. In the process I had to make a few changes to several components and will post design/decision notes on child pages here.
You are viewing an old version of this page. View the current version. Compare with Current · View Page History