satsolver SAT Solver for package management

0.14.20

Author:
Michael Schroeder <mls@suse.de>

Welcome

Welcome to the sat solver documentation page.

What is the SAT solver?

The SAT solver is a package dependency solver library which offers the following:

See History of satsolver for the SAT solver history.

Basic idea

Express packaga dependencies as boolean expressions. (in conjunctive normal form - CNF)

(! == boolean not)

Data structure

Usage

The solver gets initialized by passing it the complete pool (all Solvables) and a single Source (called 'system', representing the installed Solvables).

It then creates rules to flag the Solvables of 'system' as installed.

Contributing

See Code Conventions for code conventions.

See also

http://del.icio.us/kkaempf/sat for a general overview on references about satisfiability, sat-solving and its relation to package dependencies.

doxygen