[−][src]Module splr::state
Collection of various data and parameters for SAT solving process
Structs
ProgressRecord | Record of old stats. |
State | Data storage for |
Enums
LogF64Id | Index for |
LogUsizeId | Index for |
SearchStrategy | A collection of named search heuristics |
Stat | stat index |