Testing libsatsolver on Fedora
Bill McGonigle
bill at bfccomputing.com
Mon Jul 27 21:50:33 UTC 2009
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: bill at bfccomputing.com
Blog: http://blog.bfccomputing.com/
VCard: http://bfccomputing.com/vcard/bill.vcf
More information about the fedora-devel-list
mailing list