Reference documentation

• Consistency algorithms
• Examples
  • AllIntervalSeriesProblem
  • AlphanumericProblem
  • BIBDProblem
  • CryptarithmeticProblem
  • EmployeeSchedulingProblem
  • GolombProblem
  • KnapsackProblem
  • LangfordProblem
  • MagicSequenceProblem
  • MagicSquareProblem
  • QuasigroupProblem
  • QueensProblem
  • SchurLemmaProblem
  • SportsTournamentSchedulingProblem
  • SudokuProblem
  • TSPProblem
• Heuristics
  • Heuristics for selecting a variable
    • critical_resource_var_heuristic()
    • first_not_instantiated_var_heuristic()
    • greatest_domain_var_heuristic()
    • largest_maximal_value_var_heuristic()
    • max_regret_var_heuristic()
    • min_earliest_start_var_heuristic()
    • smallest_domain_var_heuristic()
    • smallest_minimal_value_var_heuristic()
  • Heuristics for reducing the chosen domain
    • max_value_dom_heuristic()
    • mid_value_dom_heuristic()
    • min_cost_dom_heuristic()
    • min_value_dom_heuristic()
    • split_low_dom_heuristic()
    • split_high_dom_heuristic()
• Problems
  • CircuitProblem()
  • LatinSquareProblem()
  • LatinSquareRCProblem()
  • PermutationProblem()
• Propagators
  • compute_domains_abs_eq()
  • compute_domains_add_c_eq()
  • compute_domains_linear_eq_c()
  • compute_domains_linear_geq_c()
  • compute_domains_linear_leq_c()
  • compute_domains_linear_neq_c()
  • compute_domains_alldifferent()
  • compute_domains_and_eq()
  • compute_domains_count_eq_c()
  • compute_domains_count_eq()
  • compute_domains_count_geq_c()
  • compute_domains_count_leq_c()
  • compute_domains_cumulative()
  • compute_domains_diffn()
  • compute_domains_disjunctive()
  • compute_domains_element_eq()
  • compute_domains_element_l_eq_alldifferent()
  • compute_domains_element_l_eq_c_alldifferent()
  • compute_domains_element_l_eq_c()
  • compute_domains_element_l_eq()
  • compute_domains_eq()
  • compute_domains_eq_c_reif()
  • compute_domains_eq_reif()
  • compute_domains_gcc()
  • compute_domains_increasing()
  • compute_domains_inverse()
  • compute_domains_leq_c()
  • compute_domains_leq_c_reif()
  • compute_domains_lexleq()
  • compute_domains_max_eq()
  • compute_domains_max_leq()
  • compute_domains_member()
  • compute_domains_min_eq()
  • compute_domains_min_geq()
  • compute_domains_mod_c_eq()
  • compute_domains_mod_eq()
  • compute_domains_mul_c_eq()
  • compute_domains_mul_eq()
  • compute_domains_neq()
  • compute_domains_neq_reif()
  • compute_domains_no_sub_cycle()
  • compute_domains_nvalue()
  • compute_domains_relation()
  • compute_domains_scc()
  • compute_domains_strictly_increasing()
  • compute_domains_subcircuit()
  • compute_domains_sum_eq_c()
  • compute_domains_sum_eq()
  • compute_domains_sum_geq_c()
  • compute_domains_sum_leq_c()
  • compute_domains_value_precede()
• Solvers
  • BacktrackSolver
  • MultiprocessingSolver
• Statistics