Module splr::types

Plumping layer Basic types

Structs

CNFDescription	data about a problem.
Ema	Exponential Moving Average w/ a calibrator
Flag
Lit	Literal encoded on u32 as:

Enums

SolverError

Internal exception

Constants

NULL_LIT

a dummy literal.

Functions

vec2int

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

Type Definitions

MaybeInconsistent	A Return type used by solver functions
VarId	'Variable' identifier or 'variable' index, starting with one.