List of all items
Structs
- Csp
- SolveConfig
- SolveStats
- Unsatisfiable
- adjacency::Adjacency
- builder::assignment::AssignmentBuilder
- builder::assignment::AssignmentSolution
- constraint::all_different::AllDifferent
- constraint::all_different_except::AllDifferentExcept
- constraint::cardinality::CardinalityConstraint
- constraint::implication::ImplicationConstraint
- constraint::lambda::LambdaConstraint
- constraint::not_equal::NotEqual
- constraint::soft::SoftLambdaConstraint
- domain::bitset::BitsetDomain
- domain::bitset::BitsetIter
- domain::cost_finite::CostFiniteDomain
- domain::finite::FiniteDomain
- domain::lattice::BitsetLatticeDomain
- puzzles::futoshiki::csp::FutoshikiPuzzle
- puzzles::sudoku::transform::SudokuTransform
- solver::backjump::BackjumpConfig
- solver::backtrack::BacktrackConfig
- solver::nogoods::NogoodStore
- solver::optimize::CostDomainEval
- solver::optimize::OptimizeConfig
- solver::optimize::ZeroCost
- variable::Variable
Enums
- OptimizationMode
- PropagationStrategy
- Pruning
- builder::assignment::AssignmentError
- constraint::dispatch::ConstraintEnum
- constraint::traits::Revision
- ordering::Ordering
- puzzles::sudoku::generate::Difficulty
Traits
- constraint::traits::Constraint
- constraint::traits::SoftConstraint
- domain::traits::CostDomain
- domain::traits::Domain
- domain::traits::LatticeDomain
- solver::optimize::DomainCostEval
Functions
- builder::assignment::assignment
- ordering::select_variable
- puzzles::futoshiki::csp::create_futoshiki_csp
- puzzles::futoshiki::csp::solve_futoshiki
- puzzles::sudoku::csp::create_sudoku_csp
- puzzles::sudoku::csp::solve_sudoku
- puzzles::sudoku::generate::generate_board
- puzzles::sudoku::generate::generate_board_with_templates
- puzzles::sudoku::generate::generate_from_template
- puzzles::sudoku::generate::measure_difficulty
- puzzles::sudoku::transform::apply_random_transform
- solver::ac3::ac3_from_variable
- solver::ac3::ac3_full
- solver::backjump::backjump_search
- solver::backtrack::backtrack_search
- solver::backtrack::backtrack_search_with_given
- solver::gac_alldiff::propagate_gac_alldiff
- solver::gac_alldiff_except::propagate_gac_alldiff_except
- solver::local_search::min_conflicts
- solver::monotonic::propagate_monotonic
- solver::monotonic::propagate_stratified
- solver::optimize::branch_and_bound
- solver::propagate::ac_fc
- solver::propagate::forward_check