On 2015-6-23 01:11 , Clemens Lang wrote: > Hi, > > ----- On 22 Jun, 2015, at 15:04, Rainer Müller [email protected] wrote: > >> Please excuse my ignorance here, but 'port search' merely queries the >> index for matching ports. Why do we need a SAT solver for this? What is >> the expected advantage? > > Searching is just a dummy use case we can use to test the representation > of the package universe that libsolv needs. Once we have a usable > representation we can (a) cache that in a binary format, which should > give us speed improvements over the PortIndex, and (b) use the same data > structure to do the actual SAT solving.
How are you planning on handling variants? It seems to me that the only tractable approach would be to evaluate the package universe lazily, running mportopen to get data from portfiles only when it is required. - Josh _______________________________________________ macports-dev mailing list [email protected] https://lists.macosforge.org/mailman/listinfo/macports-dev
