List of all items
Structs
- Csp
- SolveConfig
- SolveStats
- Unsatisfiable
- adjacency::Adjacency
- builder::assignment::AssignmentBuilder
- builder::assignment::AssignmentSolution
- cancel::CancelToken
- constraint::all_different::AllDifferent
- constraint::all_different_except::AllDifferentExcept
- 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::ac3::BitsetWorklist
- solver::heuristic::ConflictHistory
- solver::nogoods::NogoodStore
- solver::optimize::CostDomainEval
- solver::optimize::ZeroCost
- solver::restart::Luby
- solver::search::SearchParams
- variable::Variable
Enums
- OptimizationMode
- PropagationStrategy
- Pruning
- builder::assignment::AssignmentError
- constraint::dispatch::ConstraintEnum
- constraint::traits::Revision
- error::CspError
- ordering::Ordering
- puzzles::sudoku::generate::Difficulty
Traits
- constraint::traits::Constraint
- constraint::traits::SoftConstraint
- constraint::traits::ThreadSafe
- 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::futoshiki::generate::generate_futoshiki
- puzzles::futoshiki::generate::generate_futoshiki_seeded
- puzzles::futoshiki::generate::generate_futoshiki_tuned_seeded
- puzzles::futoshiki::generate::measure_difficulty
- puzzles::sudoku::csp::create_sudoku_csp
- puzzles::sudoku::csp::solve_sudoku
- puzzles::sudoku::generate::embedded_template_count
- puzzles::sudoku::generate::embedded_templates
- puzzles::sudoku::generate::generate_board
- puzzles::sudoku::generate::generate_board_seeded
- puzzles::sudoku::generate::generate_board_with_templates
- puzzles::sudoku::generate::generate_board_with_templates_seeded
- puzzles::sudoku::generate::measure_difficulty
- puzzles::sudoku::transform::apply_random_transform
- solver::ac3::ac3_full
- solver::gac::next_gac_id
- solver::gac::propagate_gac_core
- solver::monotonic::propagate_monotonic
- solver::monotonic::propagate_stratified
- solver::search::branch_and_bound
- solver::search::feasibility_search