MacPorts: Improve Dependency Calculation using SAT solver.
by Jackson Isaac for The MacPorts Project
MacPorts package manager makes installing open source packages hassle-free and user friendly on Mac OS X. The dependency calculation code is quite old; efficient dependency calculation methods have been developed since. This project aims at upgrading this dependency calculation process making it fast and efficient by using CUDF based SAT solver. This project will provide foundation for features like versioned dependency, conflict resolution, etc.