vector<int> ParanoidSolver::solverInstalledPackages(void) const {
vector<int> current;
current.reserve(install_.glb().cardinality());
GRelation i(install_.glb());
while (!i.empty()) {
Tuple t = i.pickOneTuple();
GRelation r(i.arity());
r.add(t);
i.differenceAssign(r);
current.push_back(t.value().at(0));
}
return current;
}
