List of all items
Structs
- core::solution::Solution
- core::solution::SolveStats
- model::Model
- solvers::sudoku::SudokuCandidateIter
- solvers::sudoku::SudokuCandidateSet
- solvers::sudoku::SudokuResult
- solvers::sudoku::SudokuSolver
Enums
- api::builder::MathExpr
- api::builder::TypedConstant
- api::builder::mathematical::MathExpr
- api::builder::mathematical::TypedConstant
- core::error::SolverError
- core::solution::ValueAccessError
- core::validation::ConflictType
- core::validation::DomainIssue
- core::validation::ValidationError
Traits
Macros
Functions
- api::builder::abs
- api::builder::float
- api::builder::int
- api::builder::mathematical::abs
- api::builder::mathematical::float
- api::builder::mathematical::int
- api::builder::mathematical::max
- api::builder::mathematical::min
- api::builder::max
- api::builder::min
- api::prelude::abs
- api::prelude::add
- api::prelude::alldiff
- api::prelude::alleq
- api::prelude::and
- api::prelude::ceil
- api::prelude::cumulative
- api::prelude::div
- api::prelude::element
- api::prelude::eq
- api::prelude::eq_reif
- api::prelude::float
- api::prelude::floor
- api::prelude::gcc
- api::prelude::ge
- api::prelude::ge_reif
- api::prelude::gt
- api::prelude::gt_reif
- api::prelude::implies
- api::prelude::int
- api::prelude::le
- api::prelude::le_reif
- api::prelude::lin_eq
- api::prelude::lin_eq_reif
- api::prelude::lin_le
- api::prelude::lin_le_reif
- api::prelude::lin_ne
- api::prelude::lin_ne_reif
- api::prelude::lt
- api::prelude::lt_reif
- api::prelude::max
- api::prelude::min
- api::prelude::modulo
- api::prelude::mul
- api::prelude::ne
- api::prelude::ne_reif
- api::prelude::not
- api::prelude::or
- api::prelude::round
- api::prelude::sub
- api::prelude::sum
- api::prelude::table
- api::prelude::to_float
- api::prelude::xor
- runtime_api::all_of
- runtime_api::and_all
- runtime_api::any_of
- runtime_api::or_all
- solvers::sudoku::solve_sudoku
- solvers::sudoku::solve_sudoku_string