ocaml-0install-solver
Package dependency solver
A package dependency resolver based on a SAT solver. This was originally written for the 0install package manager, but is now generic and is also used as a solver backend for opam. The SAT solver is based on MiniSat and the application to package management is based on OPIUM (Optimal Package Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to find the optimal solution extremely quickly (even for a SAT-based solver).
Non hai ningún paquete oficial dispoñíbel para openSUSE Leap 16.0Distribucións
openSUSE Tumbleweed
SLFO 1.2
Distribucións non compatíbeis
As seguintes distribucións non teñen mantemento oficial. Use estes paquetes pola súa conta e risco.