[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:


in part:


   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 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]