Package zeroinstall :: Package injector :: Module sat

[frames] | no frames]

Module sat

Internal implementation of a SAT solver, used by solver.SATSolver. This is not part of the public API.

Classes
	AtMostOneClause
	UnionClause
	VarInfo
	SATProblem

Functions

debug(msg, *args)

source code

int

neg(lit)

source code

int

watch_index(lit)

source code

Function Details

debug(msg, *args)

Parameters:

msg (str)

neg(lit)

Parameters:

lit (int)

Returns: int

watch_index(lit)

Parameters:

lit (int)

Returns: int