https://bugzilla.novell.com/show_bug.cgi?id=435160
User prusnak@novell.com added comment
https://bugzilla.novell.com/show_bug.cgi?id=435160#c25
Pavol Rusnak changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ma@novell.com
--- Comment #25 from Pavol Rusnak 2008-10-20 09:35:22 MDT ---
mls, ma: Klaus mentioned today's commits to satsolver SVN. I'm digging through
logs, but could you give me any pointer how to utilize optimizations (if there
were any?)
--
Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.