[−][src]Module splr::state

Collection of various data and parameters for SAT solving process

Structs

ProgressRecord

Record of old stats.

State

Data storage for Solver

Enums

LogF64Id

Index for f64 data, used in ProgressRecord

LogUsizeId

Index for Usize data, used in ProgressRecord

SearchStrategy

A collection of named search heuristics

Stat

stat index