Libsolv is not a SAT solver, it's a package dependency solver. The SAT code
is just a very very small part of the code, and you really can't just plug
in a different SAT solver. The SAT algorithm does forced decisions
(i.e. when a rule is unit) and free decisions, in the later case solvers
like mi
break;
}
+# ifdef DW_CHARS
+ if (curr->w_encoding == UTF8 && utf8_isdouble(c))
+ curr->w_mbcs = 0xff;
+# endif
font = curr->w_rend.font;
# endif
# ifdef DW_CHARS
Cheers,
Michael.
--
Michael Schroed
2 matches
Mail list logo
