List of all items
Structs
- Rng
- Solver
- Spec
- c::ONode
- c::ONodes
- c::Problem
- m::INode
- m::INodes
- m::Problem
- mc::Problem
- p::Preproc
- x::INode
- x::INodes
- x::ONodes
- x::Problem
Enums
Traits
- Dance
- Items
- OptData
- Opts
- Solve
- c::DanceC
- c::OptsC
- choose::Choose
- choose::Preference
- choose::Tiebreak
- m::DanceM
- m::ItemsM
- m::SolveM
- p::Reduce
Functions
- Int
- Uint
- c::commit
- c::hide
- c::make_problem
- c::purify
- c::uncommit
- c::unhide
- c::unpurify
- choose::knuth_tiebreak
- choose::mrv_chooser
- choose::no_tiebreak
- choose::prefer_any
- choose::prefer_first_n
- choose::rnd_tiebreak
- m::branch_degree
- m::enter_level
- m::prepare_to_branch
- m::restore_item
- m::try_again
- m::try_item
- m::tweak
- m::untweak
- x::branch_degree
- x::commit
- x::cover
- x::hide
- x::make_problem
- x::prepare_to_branch
- x::restore_item
- x::try_again
- x::try_item
- x::uncommit
- x::uncover
- x::unhide