Module splr::types

Plumping layer Basic types

Structs

CNFDescription	data about a problem.
Ema	Exponential Moving Average w/ a calibrator
Flag

Enums

SolverError

Internal exception

Constants

NULL_CLAUSE	a dummy clause index.
NULL_LIT	a dummy literal.

Functions

vec2int

convert [Lit] to [i32] (for debug)

Type Definitions

ClauseId	'Clause' Identifier, or 'clause' index, starting with one. Note: ids are re-used after 'garbage collection'.
Lit	Literal encoded on u32 as:
MaybeInconsistent	A Return type used by solver functions
VarId	'Variable' identifier or 'variable' index, starting with one.