On 07/27/2009 04:45 PM, Rahul Sundaram wrote: > What's the eventual goal?
Not to speak for Michael or his ambitions, but I was curious and found this on the openSUSE site: http://en.opensuse.org/Package_Management/Sat_Solver -especially- http://en.opensuse.org/Package_Management/Sat_Solver/Basics in part: "Conclusion Using SAT solver algorithms solve many of the problems the old solver had * speed: magnitudes faster * reliable results * extendibility[sic]: implementation of complex dependencies is easy * sensible error reports" Improving Fedora dependency solving speed by just one order of magnitude would be lovely, the plural is deliriously attractive. -Bill -- Bill McGonigle, Owner Work: 603.448.4440 BFC Computing, LLC Home: 603.448.1668 http://www.bfccomputing.com/ Cell: 603.252.2606 Twitter, etc.: bill_mcgonigle Page: 603.442.1833 Email, IM, VOIP: b...@bfccomputing.com Blog: http://blog.bfccomputing.com/ VCard: http://bfccomputing.com/vcard/bill.vcf -- fedora-devel-list mailing list fedora-devel-list@redhat.com https://www.redhat.com/mailman/listinfo/fedora-devel-list
