You are viewing an old version of this page. View the current version.
Compare with Current ·
View Page History
Mercury was born as an attempt to do a green field implementation of dependency management as SAT Solver.
SAT Based Dependency Resolution
Labels