Tag: boolean satisfiability

Hola amigos, Finally, much awaited dependency calculation post is here. First let me give you a general idea on what dependency calculation mean. 1. Recursively calculating Dependencies: Dependency calculation means to calculate the dependent packages of a software e.g., A depends on B, C, D to work. So we will need all the 3 packages … Continue reading [GSoC 2015] Dependency Calculation using libsolv