satsolver 0.16.3
|
Welcome to the sat solver documentation page.
The SAT solver is a package dependency solver library which offers the following:
See History of satsolver for the SAT solver history.
Express packaga dependencies as boolean expressions. (in conjunctive normal form - CNF)
(! == boolean not)
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.
See Code Conventions for code conventions.
http://del.icio.us/kkaempf/sat for a general overview on references about satisfiability, sat-solving and its relation to package dependencies.