[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Re: Testing libsatsolver on Fedora



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 bfccomputing com
Blog: http://blog.bfccomputing.com/
VCard: http://bfccomputing.com/vcard/bill.vcf


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]