Nutzen eines Satisfiability Solver zur Berechnung von Paketabhängigkeiten. Es basiert darauf, Paketabhängigkeiten als Erfüllbarkeitsproblem der Aussagenlogik auszudrücken.

• Siehe Präsentation auf dem FOSDEM 2008
• Siehe Schröders Vortrag auf dem FOSDEM 2008

Allgemeine Informationen.

• Schauen Sie sich die Geschichte von SAT Solver.
• Schauen Sie sich die Motivation und die verfügbare Präsentation vom FOSDEM 2008 an.

Die SAT-Solver-Implementierung, wie sie sich in openSUSE 11.0 findet, basiert auf zwei wichtigen, aber unabhängigen, Blöcken

1. Nutzen eines Wörterbuchansatzes, um Pakete und Abhängigkeitsinformationen zu speichern und zu empfangen.
2. Nutzen von Erfüllbarkeit, einem gut bekannten und untersuchten Thema, für die Berechnung von Paketabhängigkeiten.

Die Grundlagen der Nutzung eines Satisfiability Solver, um Paketabhängigkeiten aufzulösen, finden Sie hier. Weiteres dazu finden Sie auf der Seite zu den Interna.

Treten Sie mit der ZYpp-Gemeinde in Kontakt.

Mailinglisten

Wenn Sie an sat-solver mitarbeiten wollen, sollten Sie auf jeden Fall die Mailingliste zypp-devel abonniert haben.

Dokumentation

Version: git head

C-Entwicklerdokumentation

Version: git head

Ruby-Entwicklerdokumentation

Version: 11.1

Entwicklerdokumentation

Holen Sie sich die Quellen

Version: git head

libsatsolver HEAD

• Allgemeine Anweisungen für git finden Sie unter Git.
• Allgemeine Anweisungen für git.opensuse.org finden Sie unter Git Hosting.

Anonymes Klonen

git clone git://git.opensuse.org/projects/zypp/sat-solver.git

Authorisiertes Klonen

git clone git@git.opensuse.org:projects/zypp/sat-solver.git

Stöbern im Web-Depot

• Hier verfügbar

Werkzeuge die SAT Solver nutzen.

ZYpp – ZYpper – SUSE Studio