SAT Solver

[bastianeicher]

Zero Install .NET currently uses a backtracking dependency solver. For more complex dependency trees it shells out to the SAT Solver provided by the OCaml version of Zero Install.

For better performance and portability we'd like to use an in-process .NET SAT Solver instead. We can use the library NanoByte.SatSolver as a basis.

Further reading:

• https://en.opensuse.org/openSUSE:Libzypp_satsolver_basics#Reporting_conflicts