Module Import alias ImportFrom alias alias ImportFrom alias ImportFrom alias Assign NameStore Str Assign NameStore Str Assign NameStore Str FunctionDef arguments args NameParam NameParam NameParam NameParam defaults Str Str NameLoad body Expr Str Assign NameStore Dict Assign NameStore Call NameLoad AttributeLoad NameLoad attr If CompareEq NameLoad NameLoad body Assign NameStore NameLoad orelse If CompareEq NameLoad NameLoad body Assign NameStore NameLoad orelse Assign NameStore NameLoad If CompareEq NameLoad NameLoad body Assign NameStore NameLoad orelse Assign NameStore NameLoad Return Call NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad keyword NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return SubscriptLoad NameLoad Index Num decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return SubscriptLoad Call NameLoad NameLoad keyword Lambda arguments args NameParam defaults Call NameLoad SubscriptLoad NameLoad Index NameLoad Index Num decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return SubscriptLoad Call NameLoad NameLoad keyword Lambda arguments args NameParam defaults SubscriptLoad AttributeLoad NameLoad attr Index NameLoad keyword NameLoad Index Num decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str Return Call NameLoad Call NameLoad NameLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Assign TupleStore NameStore NameStore Call NameLoad ListComp TupleLoad NameLoad SubscriptLoad NameLoad Index NameLoad comprehension NameStore NameLoad Return Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str If BoolOpAnd CompareIsNot NameLoad NameLoad CompareIsNot NameLoad NameLoad body Assign NameStore Call NameLoad NameLoad Assign SubscriptStore NameLoad Index NameLoad NameLoad Assign NameStore ListLoad For TupleStore NameStore NameStore AttributeLoad NameLoad attr body If Call NameLoad GeneratorExp CompareIn NameLoad NameLoad comprehension NameStore NameLoad body If UnaryOpNot Call NameLoad NameLoad NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr TupleLoad NameLoad NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults body Expr Str Return SubscriptLoad SubscriptLoad NameLoad Index NameLoad Slice decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults body Expr Str FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad NameLoad Assign SubscriptStore NameLoad Index NameLoad NameLoad Return NameLoad decorator_list Assign NameStore Call NameLoad SubscriptLoad SubscriptLoad NameLoad Index NameLoad Slice keyword Lambda arguments args NameParam defaults Call NameLoad NameLoad NameLoad NameLoad NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam defaults NameLoad body Expr Str ImportFrom alias If CompareEq Call NameLoad NameLoad Call NameLoad AttributeLoad NameLoad attr body Return NameLoad Assign NameStore ListComp NameLoad comprehension NameStore AttributeLoad NameLoad attr CompareNotIn NameLoad NameLoad Assign NameStore Call NameLoad NameLoad NameLoad NameLoad Assign NameStore Call NameLoad NameLoad NameLoad NameLoad NameLoad For NameStore NameLoad body Assign NameStore Call NameLoad NameLoad Assign SubscriptStore NameLoad Index NameLoad NameLoad If UnaryOpNot Call NameLoad NameLoad NameLoad body Assign NameStore Call NameLoad NameLoad Assign SubscriptStore NameLoad Index NameLoad ListLoad NameLoad If BoolOpOr UnaryOpNot NameLoad Call NameLoad NameLoad AttributeLoad NameLoad attr body Assign NameStore Call NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad keyword NameLoad If NameLoad body Return NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return Call NameLoad SubscriptLoad AttributeLoad NameLoad attr Index NameLoad Lambda arguments args NameParam defaults Call NameLoad NameLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults NameLoad Num body Expr Str Assign NameStore Dict If NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad orelse For NameStore AttributeLoad NameLoad attr body Assign NameStore Call NameLoad NameLoad NameLoad NameLoad Assign SubscriptStore NameLoad Index NameLoad NameLoad Assign NameStore Num Assign NameStore NameLoad While NameLoad body Assign NameStore Call NameLoad NameLoad NameLoad Assign NameStore ListComp NameLoad comprehension NameStore AttributeLoad NameLoad attr Call NameLoad GeneratorExp CompareIn NameLoad SubscriptLoad NameLoad Index Num comprehension NameStore NameLoad If NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Assign NameStore Call NameLoad NameLoad NameLoad NameLoad Assign SubscriptStore NameLoad Index NameLoad NameLoad AugAssignAdd NameStore Num If BoolOpAnd NameLoad CompareGtE NameLoad NameLoad body Assign NameStore NameLoad orelse If UnaryOpNot Call NameLoad NameLoad NameLoad body Assign NameStore NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str FunctionDef arguments args NameParam defaults body FunctionDef arguments args NameParam NameParam defaults body Assign TupleStore NameStore NameStore NameLoad If Call AttributeLoad NameLoad attr Str body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Return CompareEq SubscriptLoad NameLoad Index Num SubscriptLoad SubscriptLoad NameLoad Index Num Index NameLoad orelse Assign NameStore Call AttributeLoad NameLoad attr NameLoad Return CompareEq SubscriptLoad NameLoad Index Num SubscriptLoad SubscriptLoad NameLoad Index Num Index NameLoad decorator_list Assign AttributeStore NameLoad attr NameLoad Return NameLoad decorator_list Assign NameStore ListLoad Assign NameStore Call NameLoad NameLoad Assign NameStore Call NameLoad NameLoad Assign NameStore Num For TupleStore NameStore NameStore NameLoad body If CompareEq Call NameLoad NameLoad Num body Expr Call AttributeLoad NameLoad attr TupleLoad NameLoad NameLoad Continue Assign NameStore BinOpMod Str NameLoad Expr Call AttributeLoad NameLoad attr NameLoad AugAssignAdd NameStore Num Assign SubscriptStore NameLoad Index NameLoad ListComp NameLoad comprehension NameStore Call NameLoad Call NameLoad AttributeLoad NameLoad attr NameLoad Call NameLoad NameLoad NameLoad For NameStore NameLoad body Expr Call AttributeLoad NameLoad attr TupleLoad TupleLoad NameLoad NameLoad Call NameLoad NameLoad Return TupleLoad NameLoad NameLoad NameLoad decorator_list
N/A N/A random copy deepcopy copy itertools product utils argmin N/A MOST_CONSTRAINED_VARIABLE mcv N/A HIGHEST_DEGREE_VARIABLE degree N/A LEAST_CONSTRAINING_VALUE lvc backtrack N/A N/A problem variable_heuristic value_heuristic inference N/A True N/A N/A 
    Backtracking search.

    variable_heuristic is the heuristic for variable choosing, can be
    MOST_CONSTRAINED_VARIABLE, HIGHEST_DEGREE_VARIABLE, or blank for simple
    ordered choosing.
    value_heuristic is the heuristic for value choosing, can be
    LEAST_CONSTRAINING_VALUE or blank for simple ordered choosing.
     N/A assignment N/A N/A domains N/A deepcopy N/A problem domains N/A N/A variable_heuristic MOST_CONSTRAINED_VARIABLE N/A N/A variable_chooser _most_constrained_variable_chooser N/A N/A N/A variable_heuristic HIGHEST_DEGREE_VARIABLE N/A N/A variable_chooser _highest_degree_variable_chooser N/A N/A variable_chooser _basic_variable_chooser N/A N/A value_heuristic LEAST_CONSTRAINING_VALUE N/A N/A values_sorter _least_constraining_values_sorter N/A N/A values_sorter _basic_values_sorter N/A N/A _backtracking problem assignment domains variable_chooser values_sorter inference inference N/A _basic_variable_chooser N/A N/A problem variables domains N/A N/A N/A 
    Choose the next variable in order.
     N/A N/A variables N/A 0 N/A _most_constrained_variable_chooser N/A N/A problem variables domains N/A N/A N/A 
    Choose the variable that has less available values.
     N/A N/A N/A sorted variables key N/A N/A N/A v N/A N/A len N/A domains N/A v N/A 0 N/A _highest_degree_variable_chooser N/A N/A problem variables domains N/A N/A N/A 
    Choose the variable that is involved on more constraints.
     N/A N/A N/A sorted variables key N/A N/A N/A v N/A N/A N/A problem var_degrees N/A v reverse True N/A 0 N/A _count_conflicts N/A N/A problem assignment variable value N/A None None N/A N/A 
    Count the number of violated constraints on a given assignment.
     N/A N/A len N/A _find_conflicts problem assignment variable value N/A _call_constraint N/A N/A assignment neighbors constraint N/A N/A N/A N/A variables values N/A zip N/A N/A n N/A assignment N/A n N/A n neighbors N/A N/A constraint variables values N/A _find_conflicts N/A N/A problem assignment variable value N/A None None N/A N/A 
    Find violated constraints on a given assignment, with the possibility
    of specifying a new variable and value to add to the assignment before
    checking.
     N/A N/A N/A variable None N/A value None N/A N/A assignment N/A deepcopy assignment N/A N/A assignment N/A variable value N/A conflicts N/A N/A N/A neighbors constraint N/A problem constraints N/A N/A N/A all N/A N/A n assignment N/A n neighbors N/A N/A N/A N/A _call_constraint assignment neighbors constraint N/A N/A N/A N/A conflicts append N/A neighbors constraint N/A conflicts N/A _basic_values_sorter N/A N/A problem assignment variable domains N/A N/A N/A 
    Sort values in the same original order.
     N/A N/A N/A domains N/A variable N/A N/A _least_constraining_values_sorter N/A N/A problem assignment variable domains N/A N/A N/A 
    Sort values based on how many conflicts they generate if assigned.
     update_assignment N/A N/A value N/A N/A N/A new_assignment N/A deepcopy assignment N/A N/A new_assignment N/A variable value N/A new_assignment N/A N/A values N/A sorted N/A N/A domains N/A variable N/A key N/A N/A N/A v N/A N/A _count_conflicts problem assignment variable v N/A values N/A _backtracking N/A N/A problem assignment domains variable_chooser values_sorter inference N/A True N/A N/A 
    Internal recursive backtracking algorithm.
     arc arc_consistency_3 N/A N/A N/A len assignment N/A len N/A problem variables N/A N/A assignment N/A pending N/A v N/A v N/A problem variables N/A v assignment N/A variable N/A variable_chooser problem pending domains N/A values N/A values_sorter problem assignment variable domains N/A value values N/A N/A new_assignment N/A deepcopy assignment N/A N/A new_assignment N/A variable value N/A N/A N/A _count_conflicts problem new_assignment N/A N/A new_domains N/A deepcopy domains N/A N/A new_domains N/A variable N/A value N/A N/A N/A inference N/A arc_consistency_3 new_domains N/A problem constraints N/A N/A result N/A _backtracking problem new_assignment new_domains variable_chooser values_sorter inference inference N/A result N/A N/A result N/A None N/A _min_conflicts_value N/A N/A problem assignment variable N/A N/A N/A 
    Return the value generate the less number of conflicts.
    In case of tie, a random value is selected among this values subset.
     N/A N/A argmin N/A N/A problem domains N/A variable N/A N/A N/A x N/A N/A _count_conflicts problem assignment variable x N/A min_conflicts N/A N/A problem initial_assignment iterations_limit N/A None 0 N/A N/A 
    Min conflicts search.

    initial_assignment the initial assignment, or None to generate a random
    one.
    If iterations_limit is specified, the algorithm will end after that
    number of iterations. Else, it will continue until if finds an assignment
    that doesn't generate conflicts (a solution).
     N/A assignment N/A N/A initial_assignment N/A N/A N/A N/A assignment update initial_assignment N/A N/A variable N/A problem variables N/A N/A value N/A _min_conflicts_value problem assignment variable N/A N/A assignment N/A variable value N/A iteration 0 N/A run True N/A run N/A N/A conflicts N/A _find_conflicts problem assignment N/A conflict_variables N/A v N/A v N/A problem variables N/A any N/A N/A v N/A conflict N/A 0 N/A conflict conflicts N/A conflict_variables N/A N/A variable N/A N/A random choice conflict_variables N/A value N/A _min_conflicts_value problem assignment variable N/A N/A assignment N/A variable value N/A iteration 1 N/A N/A iterations_limit N/A iteration iterations_limit N/A N/A run False N/A N/A N/A N/A _count_conflicts problem assignment N/A N/A run False N/A assignment N/A convert_to_binary N/A N/A variables domains constraints N/A N/A N/A 
    Returns new constraint list, all binary, using hidden variables.

    You can use it as previous step when creating a problem.
     wdiff N/A N/A vars_ N/A N/A diff N/A N/A variables values N/A N/A N/A N/A hidden other variables N/A N/A N/A hidden startswith hidden N/A N/A idx N/A N/A vars_ index other N/A N/A N/A values N/A 1 N/A N/A values N/A 0 N/A idx N/A N/A idx N/A N/A vars_ index hidden N/A N/A N/A values N/A 0 N/A N/A values N/A 1 N/A idx N/A N/A N/A diff no_wrap True N/A diff N/A N/A new_constraints N/A N/A new_domains N/A copy domains N/A new_variables N/A list variables N/A last 0 N/A N/A vars_ const constraints N/A N/A N/A N/A len vars_ 2 N/A N/A N/A N/A new_constraints append N/A vars_ const N/A N/A hidden N/A hidden%d last N/A N/A N/A new_variables append hidden N/A last 1 N/A N/A new_domains N/A hidden N/A t N/A t N/A product N/A map N/A domains get vars_ N/A const vars_ t N/A var vars_ N/A N/A N/A N/A new_constraints append N/A N/A hidden var N/A wdiff vars_ N/A N/A new_variables new_domains new_constraints N/A