Hi,
Thanks a lot for providing further information!
>
> 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 rul
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
2 matches
Mail list logo
