List of all items

Structs

• SAT
• SOLVING
• Solver
• SolverBuilder
• UNKNOWN
• UNSAT
• common::ActivityTable
• common::Clause
• common::Phases
• common::Variable
• common::Watches
• kernel::Kernel
• kernel::Statistics
• search::Searcher

Enums

• DimacsError
• SolveResult
• SolverStatus
• constants::SATResult

Traits

• SolverState
• api::Pass
• api::Search

Functions

• parse_dimacs_kernel
• utils::init_logger
• utils::load_banner

Type Aliases

• common::Literal

Constants

• constants::DEFAULT_VAR_DECAY
• constants::DEFAULT_VAR_DECAY_INC
• constants::DEFAULT_VAR_INC
• constants::INIT_PHASE
• constants::MAX_VAR_DECAY
• utils::BANNER