Index

_

__add__() (cpmpy.model.Model method) __axis() (cpmpy.expressions.variables.NDVarArray method) __init__() (cpmpy.model.Model method), [1] (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.solver_interface.SolverStatus method) _BoolVarImpl (class in cpmpy.expressions.variables)

_gen_var_names() (in module cpmpy.expressions.variables) _genname() (in module cpmpy.expressions.variables) _IntVarImpl (class in cpmpy.expressions.variables) _is_invalid_name() (in module cpmpy.expressions.variables) _NumVarImpl (class in cpmpy.expressions.variables) _vectorized() (cpmpy.expressions.variables.NDVarArray method)

A

Abs (class in cpmpy.expressions.globalfunctions) abs() (in module cpmpy.expressions.python_builtins) add() (cpmpy.model.Model method) (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) add_note() (cpmpy.expressions.variables.NullShapeError method) (cpmpy.tools.explain.utils.OCUSException method), [1] ALIGNED (cpmpy.expressions.variables.NDVarArray attribute) all() (cpmpy.expressions.variables.NDVarArray method) (in module cpmpy.expressions.python_builtins) all_pairs() (in module cpmpy.expressions.utils) AllDifferent (class in cpmpy.expressions.globalconstraints) alldifferent() (in module cpmpy.expressions.globalconstraints) AllDifferentExcept0 (class in cpmpy.expressions.globalconstraints) AllDifferentExceptN (class in cpmpy.expressions.globalconstraints) AllDifferentLists (class in cpmpy.tools.xcsp3.globals), [1] AllDifferentListsExceptN (class in cpmpy.tools.xcsp3.globals), [1] AllEqual (class in cpmpy.expressions.globalconstraints) allequal() (in module cpmpy.expressions.globalconstraints) AllEqualExceptN (class in cpmpy.expressions.globalconstraints) allowed (cpmpy.expressions.core.Comparison attribute) (cpmpy.expressions.core.Operator attribute) Among (class in cpmpy.expressions.globalfunctions) any() (cpmpy.expressions.variables.NDVarArray method) (in module cpmpy.expressions.python_builtins) argmax() (cpmpy.expressions.variables.NDVarArray method) argmin() (cpmpy.expressions.variables.NDVarArray method) argpartition() (cpmpy.expressions.variables.NDVarArray method) args (cpmpy.expressions.core.BoolVal property) (cpmpy.expressions.core.Comparison property) (cpmpy.expressions.core.Expression property) (cpmpy.expressions.core.Operator property) (cpmpy.expressions.globalconstraints.AllDifferent property) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 property) (cpmpy.expressions.globalconstraints.AllDifferentExceptN property) (cpmpy.expressions.globalconstraints.AllEqual property) (cpmpy.expressions.globalconstraints.AllEqualExceptN property) (cpmpy.expressions.globalconstraints.Circuit property) (cpmpy.expressions.globalconstraints.Cumulative property) (cpmpy.expressions.globalconstraints.Decreasing property) (cpmpy.expressions.globalconstraints.DecreasingStrict property) (cpmpy.expressions.globalconstraints.DirectConstraint property) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount property) (cpmpy.expressions.globalconstraints.GlobalConstraint property) (cpmpy.expressions.globalconstraints.IfThenElse property) (cpmpy.expressions.globalconstraints.Increasing property) (cpmpy.expressions.globalconstraints.IncreasingStrict property) (cpmpy.expressions.globalconstraints.InDomain property) (cpmpy.expressions.globalconstraints.Inverse property) (cpmpy.expressions.globalconstraints.LexChainLess property) (cpmpy.expressions.globalconstraints.LexChainLessEq property) (cpmpy.expressions.globalconstraints.LexLess property) (cpmpy.expressions.globalconstraints.LexLessEq property) (cpmpy.expressions.globalconstraints.NegativeTable property) (cpmpy.expressions.globalconstraints.NoOverlap property) (cpmpy.expressions.globalconstraints.Precedence property) (cpmpy.expressions.globalconstraints.Regular property) (cpmpy.expressions.globalconstraints.ShortTable property) (cpmpy.expressions.globalconstraints.Table property) (cpmpy.expressions.globalconstraints.Xor property) (cpmpy.expressions.globalfunctions.Abs property) (cpmpy.expressions.globalfunctions.Among property) (cpmpy.expressions.globalfunctions.Count property) (cpmpy.expressions.globalfunctions.Division property) (cpmpy.expressions.globalfunctions.Element property) (cpmpy.expressions.globalfunctions.GlobalFunction property) (cpmpy.expressions.globalfunctions.Maximum property) (cpmpy.expressions.globalfunctions.Minimum property) (cpmpy.expressions.globalfunctions.Modulo property) (cpmpy.expressions.globalfunctions.NValue property) (cpmpy.expressions.globalfunctions.NValueExcept property) (cpmpy.expressions.globalfunctions.Power property) (cpmpy.expressions.variables._BoolVarImpl property) (cpmpy.expressions.variables._IntVarImpl property) (cpmpy.expressions.variables._NumVarImpl property) (cpmpy.expressions.variables.NDVarArray property) (cpmpy.expressions.variables.NegBoolView property) (cpmpy.expressions.variables.NullShapeError attribute) (cpmpy.tools.explain.utils.OCUSException attribute), [1] (cpmpy.tools.xcsp3.globals.AllDifferentLists property), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN property), [1] (cpmpy.tools.xcsp3.globals.Channel property), [1] (cpmpy.tools.xcsp3.globals.ChocoSubcircuit property), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative property), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum property), [1] (cpmpy.tools.xcsp3.globals.InverseOne property), [1] (cpmpy.tools.xcsp3.globals.MDD property), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit property), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart property), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable property), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable property), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d property), [1] (cpmpy.tools.xcsp3.globals.NotInDomain property), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D property), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit property), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart property), [1] (cpmpy.tools.xcsp3.globals.Regular property), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable property), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse property), [1] (cpmpy.tools.xcsp3.globals.SubCircuit property), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart property), [1]

argsort() (cpmpy.expressions.variables.NDVarArray method) argval() (in module cpmpy.expressions.utils) argvals() (in module cpmpy.expressions.utils) astype() (cpmpy.expressions.variables.NDVarArray method)

B

base (cpmpy.expressions.variables.NDVarArray attribute) base_solvers() (cpmpy.solvers.utils.SolverLookup class method) BEHAVED (cpmpy.expressions.variables.NDVarArray attribute)

BoolVal (class in cpmpy.expressions.core) BoolVar() (in module cpmpy.expressions.variables) boolvar() (in module cpmpy.expressions.variables) byteswap() (cpmpy.expressions.variables.NDVarArray method)

C

C_CONTIGUOUS (cpmpy.expressions.variables.NDVarArray attribute) callSolver() (cpmpy.expressions.globalconstraints.DirectConstraint method) (cpmpy.tools.xcsp3.globals.ChocoSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart method), [1] canonical_comparison() (in module cpmpy.transformations.linearize) CARRAY (cpmpy.expressions.variables.NDVarArray attribute) Channel (class in cpmpy.tools.xcsp3.globals), [1] ChocoSubcircuit (class in cpmpy.tools.xcsp3.globals), [1] choose() (cpmpy.expressions.variables.NDVarArray method) Circuit (class in cpmpy.expressions.globalconstraints) circuit() (in module cpmpy.expressions.globalconstraints) clear() (cpmpy.expressions.variables._BoolVarImpl method) (cpmpy.expressions.variables._IntVarImpl method) (cpmpy.expressions.variables._NumVarImpl method) (cpmpy.expressions.variables.NDVarArray method) (cpmpy.expressions.variables.NegBoolView method) clip() (cpmpy.expressions.variables.NDVarArray method) Comparison (class in cpmpy.expressions.core) compress() (cpmpy.expressions.variables.NDVarArray method) conj() (cpmpy.expressions.variables.NDVarArray method) conjugate() (cpmpy.expressions.variables.NDVarArray method) copy() (cpmpy.expressions.variables.NDVarArray method) (cpmpy.model.Model method) Count (class in cpmpy.expressions.globalfunctions) counter (cpmpy.expressions.variables._BoolVarImpl attribute) (cpmpy.expressions.variables._IntVarImpl attribute) (cpmpy.expressions.variables.NegBoolView attribute) cparray() (in module cpmpy.expressions.variables) cpm_array() (in module cpmpy.expressions.variables) CPM_choco (class in cpmpy.solvers.choco) CPM_cplex (class in cpmpy.solvers.cplex) CPM_cpo (class in cpmpy.solvers.cpo) CPM_exact (class in cpmpy.solvers.exact) CPM_gcs (class in cpmpy.solvers.gcs) CPM_gurobi (class in cpmpy.solvers.gurobi) CPM_hexaly (class in cpmpy.solvers.hexaly) CPM_minizinc (class in cpmpy.solvers.minizinc) CPM_ortools (class in cpmpy.solvers.ortools) CPM_pindakaas (class in cpmpy.solvers.pindakaas) CPM_pumpkin (class in cpmpy.solvers.pumpkin) CPM_pysat (class in cpmpy.solvers.pysat) CPM_pysdd (class in cpmpy.solvers.pysdd) CPM_rc2 (class in cpmpy.solvers.rc2) CPM_z3 (class in cpmpy.solvers.z3) cpmpy.expressions module cpmpy.expressions.core module cpmpy.expressions.globalconstraints module cpmpy.expressions.globalfunctions module cpmpy.expressions.python_builtins module cpmpy.expressions.utils module cpmpy.expressions.variables module cpmpy.model module cpmpy.solvers module cpmpy.solvers.choco module cpmpy.solvers.cplex module cpmpy.solvers.cpo module cpmpy.solvers.exact module cpmpy.solvers.gcs module

cpmpy.solvers.gurobi module cpmpy.solvers.hexaly module cpmpy.solvers.minizinc module cpmpy.solvers.ortools module cpmpy.solvers.pindakaas module cpmpy.solvers.pumpkin module cpmpy.solvers.pysat module cpmpy.solvers.pysdd module cpmpy.solvers.rc2 module cpmpy.solvers.solver_interface module cpmpy.solvers.utils module cpmpy.solvers.z3 module cpmpy.tools module cpmpy.tools.dimacs module cpmpy.tools.explain module cpmpy.tools.explain.marco module, [1] cpmpy.tools.explain.mcs module, [1] cpmpy.tools.explain.mss module, [1] cpmpy.tools.explain.mus module, [1] cpmpy.tools.explain.utils module, [1] cpmpy.tools.maximal_propagate module cpmpy.tools.tune_solver module cpmpy.tools.xcsp3 module cpmpy.tools.xcsp3.dataset module, [1] cpmpy.tools.xcsp3.globals module, [1] cpmpy.transformations module cpmpy.transformations.comparison module cpmpy.transformations.decompose_global module cpmpy.transformations.flatten_model module cpmpy.transformations.get_variables module cpmpy.transformations.linearize module cpmpy.transformations.negation module cpmpy.transformations.normalize module cpmpy.transformations.reification module cpmpy.transformations.safening module cpmpy.transformations.to_cnf module ctypes (cpmpy.expressions.variables.NDVarArray attribute) cumprod() (cpmpy.expressions.variables.NDVarArray method) cumsum() (cpmpy.expressions.variables.NDVarArray method) Cumulative (class in cpmpy.expressions.globalconstraints)

D

data (cpmpy.expressions.variables.NDVarArray attribute) decompose() (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1] decompose_comparison() (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] decompose_global() (in module cpmpy.transformations.decompose_global) decompose_in_tree() (in module cpmpy.transformations.decompose_global) decompose_linear() (cpmpy.expressions.globalfunctions.Element method) decompose_objective() (in module cpmpy.transformations.decompose_global) decompress_lzma() (in module cpmpy.tools.xcsp3) Decreasing (class in cpmpy.expressions.globalconstraints) DecreasingStrict (class in cpmpy.expressions.globalconstraints) deepcopy() (cpmpy.expressions.core.BoolVal method) (cpmpy.expressions.core.Comparison method) (cpmpy.expressions.core.Expression method) (cpmpy.expressions.core.Operator method) (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.DirectConstraint method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.expressions.variables._BoolVarImpl method) (cpmpy.expressions.variables._IntVarImpl method) (cpmpy.expressions.variables._NumVarImpl method) (cpmpy.expressions.variables.NDVarArray method) (cpmpy.expressions.variables.NegBoolView method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.ChocoSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1]

default_params() (cpmpy.solvers.ortools.CPM_ortools class method) device (cpmpy.expressions.variables.NDVarArray attribute) diagonal() (cpmpy.expressions.variables.NDVarArray method) DirectConstraint (class in cpmpy.expressions.globalconstraints) Division (class in cpmpy.expressions.globalfunctions) do_decompose() (in module cpmpy.transformations.decompose_global) dot() (cpmpy.expressions.variables.NDVarArray method) (cpmpy.solvers.pysdd.CPM_pysdd method) dtype (cpmpy.expressions.variables.NDVarArray attribute) dump() (cpmpy.expressions.variables.NDVarArray method) dumps() (cpmpy.expressions.variables.NDVarArray method) DynamicCumulative (class in cpmpy.tools.xcsp3.globals), [1]

E

Element (class in cpmpy.expressions.globalfunctions) element() (in module cpmpy.expressions.globalfunctions) eval_comparison() (in module cpmpy.expressions.utils)

executable_installed() (cpmpy.solvers.minizinc.CPM_minizinc static method) ExitStatus (class in cpmpy.solvers.solver_interface) Expression (class in cpmpy.expressions.core)

F

F_CONTIGUOUS (cpmpy.expressions.variables.NDVarArray attribute) FARRAY (cpmpy.expressions.variables.NDVarArray attribute) fill() (cpmpy.expressions.variables.NDVarArray method) fix() (cpmpy.solvers.exact.CPM_exact static method) flags (cpmpy.expressions.variables.NDVarArray attribute) flat (cpmpy.expressions.variables.NDVarArray attribute) flatlist() (in module cpmpy.expressions.utils)

flatten() (cpmpy.expressions.variables.NDVarArray method) flatten_constraint() (in module cpmpy.transformations.flatten_model) flatten_model() (in module cpmpy.transformations.flatten_model) flatten_objective() (in module cpmpy.transformations.flatten_model) flatzinc_string() (cpmpy.solvers.minizinc.CPM_minizinc method) FNC (cpmpy.expressions.variables.NDVarArray attribute) FORC (cpmpy.expressions.variables.NDVarArray attribute) from_file() (cpmpy.model.Model static method)

G

get() (cpmpy.solvers.utils.SolverLookup class method) get_bounds() (cpmpy.expressions.core.BoolVal method) (cpmpy.expressions.core.Comparison method) (cpmpy.expressions.core.Expression method) (cpmpy.expressions.core.Operator method) (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.DirectConstraint method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.expressions.variables._BoolVarImpl method) (cpmpy.expressions.variables._IntVarImpl method) (cpmpy.expressions.variables._NumVarImpl method) (cpmpy.expressions.variables.NDVarArray method) (cpmpy.expressions.variables.NegBoolView method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.ChocoSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1] (in module cpmpy.expressions.utils)

get_core() (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) get_docp() (cpmpy.solvers.cpo.CPM_cpo class method) get_nonneg_args() (in module cpmpy.expressions.utils) get_or_make_var() (in module cpmpy.transformations.flatten_model) get_or_make_var_or_list() (in module cpmpy.transformations.flatten_model) get_supported_solvers() (in module cpmpy.solvers.utils) get_variables() (in module cpmpy.transformations.get_variables) get_variables_model() (in module cpmpy.transformations.get_variables) getfield() (cpmpy.expressions.variables.NDVarArray method) GlobalCardinalityCount (class in cpmpy.expressions.globalconstraints) GlobalConstraint (class in cpmpy.expressions.globalconstraints) GlobalFunction (class in cpmpy.expressions.globalfunctions) GridSearchTuner (class in cpmpy.tools.tune_solver)

H

has_objective() (cpmpy.model.Model method) (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) has_subexpr() (cpmpy.expressions.core.BoolVal method) (cpmpy.expressions.core.Comparison method) (cpmpy.expressions.core.Expression method) (cpmpy.expressions.core.Operator method) (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.DirectConstraint method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.expressions.variables._BoolVarImpl method) (cpmpy.expressions.variables._IntVarImpl method) (cpmpy.expressions.variables._NumVarImpl method) (cpmpy.expressions.variables.NDVarArray method) (cpmpy.expressions.variables.NegBoolView method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.ChocoSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1]

HexSolutionPrinter (class in cpmpy.solvers.hexaly)

I

IfThenElse (class in cpmpy.expressions.globalconstraints) IfThenElseNum (class in cpmpy.tools.xcsp3.globals), [1] imag (cpmpy.expressions.variables.NDVarArray attribute) implies() (cpmpy.expressions.core.BoolVal method) (cpmpy.expressions.core.Comparison method) (cpmpy.expressions.core.Expression method) (cpmpy.expressions.core.Operator method) (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.DirectConstraint method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.expressions.variables._BoolVarImpl method) (cpmpy.expressions.variables._IntVarImpl method) (cpmpy.expressions.variables._NumVarImpl method) (cpmpy.expressions.variables.NDVarArray method) (cpmpy.expressions.variables.NegBoolView method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.ChocoSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1] (in module cpmpy.expressions.utils) Increasing (class in cpmpy.expressions.globalconstraints) IncreasingStrict (class in cpmpy.expressions.globalconstraints) InDomain (class in cpmpy.expressions.globalconstraints) installed() (cpmpy.solvers.cplex.CPM_cplex static method) (cpmpy.solvers.cpo.CPM_cpo static method) (cpmpy.solvers.gurobi.CPM_gurobi static method) (cpmpy.solvers.hexaly.CPM_hexaly static method) (cpmpy.solvers.minizinc.CPM_minizinc static method) IntVar() (in module cpmpy.expressions.variables) intvar() (in module cpmpy.expressions.variables) Inverse (class in cpmpy.expressions.globalconstraints) InverseOne (class in cpmpy.tools.xcsp3.globals), [1] is_any_list() (in module cpmpy.expressions.utils) is_bool() (cpmpy.expressions.core.BoolVal method) (cpmpy.expressions.core.Comparison method) (cpmpy.expressions.core.Expression method) (cpmpy.expressions.core.Operator method) (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.DirectConstraint method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.expressions.variables._BoolVarImpl method) (cpmpy.expressions.variables._IntVarImpl method) (cpmpy.expressions.variables._NumVarImpl method) (cpmpy.expressions.variables.NDVarArray method) (cpmpy.expressions.variables.NegBoolView method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.ChocoSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1] (in module cpmpy.expressions.utils)

is_boolexpr() (in module cpmpy.expressions.utils) is_false_cst() (in module cpmpy.expressions.utils) is_int() (in module cpmpy.expressions.utils) is_multiplication() (cpmpy.solvers.exact.CPM_exact static method) is_num() (in module cpmpy.expressions.utils) is_pure_list() (in module cpmpy.expressions.utils) is_star() (in module cpmpy.expressions.utils) is_total() (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] is_transition() (in module cpmpy.tools.xcsp3.globals), [1] is_true_cst() (in module cpmpy.expressions.utils) item() (cpmpy.expressions.variables.NDVarArray method) itemsize (cpmpy.expressions.variables.NDVarArray attribute)

K

keywords (cpmpy.solvers.minizinc.CPM_minizinc attribute)

L

LexChainLess (class in cpmpy.expressions.globalconstraints) LexChainLessEq (class in cpmpy.expressions.globalconstraints) LexLess (class in cpmpy.expressions.globalconstraints) LexLessEq (class in cpmpy.expressions.globalconstraints) license_ok() (cpmpy.solvers.cplex.CPM_cplex static method) (cpmpy.solvers.cpo.CPM_cpo static method) (cpmpy.solvers.gurobi.CPM_gurobi static method) (cpmpy.solvers.hexaly.CPM_hexaly static method)

linearize_constraint() (in module cpmpy.transformations.linearize) lookup() (cpmpy.solvers.utils.SolverLookup class method)

M

make_assump_model() (in module cpmpy.tools.explain.utils), [1] marco() (in module cpmpy.tools.explain.marco), [1] max() (cpmpy.expressions.variables.NDVarArray method) (in module cpmpy.expressions.python_builtins) maximal_propagate() (in module cpmpy.tools.maximal_propagate) maximal_propagate_intersect() (in module cpmpy.tools.maximal_propagate) maximal_propagate_union() (in module cpmpy.tools.maximal_propagate) maximize() (cpmpy.model.Model method) (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) Maximum (class in cpmpy.expressions.globalfunctions) mcs() (in module cpmpy.tools.explain.mcs), [1] mcs_grow() (in module cpmpy.tools.explain.mcs), [1] mcs_grow_naive() (in module cpmpy.tools.explain.mcs), [1] mcs_opt() (in module cpmpy.tools.explain.mcs), [1] MDD (class in cpmpy.tools.xcsp3.globals), [1] mean() (cpmpy.expressions.variables.NDVarArray method) min() (cpmpy.expressions.variables.NDVarArray method) (in module cpmpy.expressions.python_builtins) minimize() (cpmpy.model.Model method) (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) Minimum (class in cpmpy.expressions.globalfunctions) minizinc_string() (cpmpy.solvers.minizinc.CPM_minizinc method) MinizincSubcircuit (class in cpmpy.tools.xcsp3.globals), [1] MinizincSubcircuitWithStart (class in cpmpy.tools.xcsp3.globals), [1] Model (class in cpmpy.model), [1] module cpmpy.expressions cpmpy.expressions.core cpmpy.expressions.globalconstraints cpmpy.expressions.globalfunctions cpmpy.expressions.python_builtins cpmpy.expressions.utils cpmpy.expressions.variables cpmpy.model cpmpy.solvers cpmpy.solvers.choco cpmpy.solvers.cplex cpmpy.solvers.cpo cpmpy.solvers.exact cpmpy.solvers.gcs cpmpy.solvers.gurobi cpmpy.solvers.hexaly cpmpy.solvers.minizinc cpmpy.solvers.ortools cpmpy.solvers.pindakaas cpmpy.solvers.pumpkin cpmpy.solvers.pysat cpmpy.solvers.pysdd cpmpy.solvers.rc2 cpmpy.solvers.solver_interface cpmpy.solvers.utils cpmpy.solvers.z3 cpmpy.tools cpmpy.tools.dimacs cpmpy.tools.explain cpmpy.tools.explain.marco, [1] cpmpy.tools.explain.mcs, [1] cpmpy.tools.explain.mss, [1] cpmpy.tools.explain.mus, [1] cpmpy.tools.explain.utils, [1] cpmpy.tools.maximal_propagate cpmpy.tools.tune_solver cpmpy.tools.xcsp3 cpmpy.tools.xcsp3.dataset, [1] cpmpy.tools.xcsp3.globals, [1] cpmpy.transformations cpmpy.transformations.comparison cpmpy.transformations.decompose_global cpmpy.transformations.flatten_model cpmpy.transformations.get_variables cpmpy.transformations.linearize cpmpy.transformations.negation cpmpy.transformations.normalize cpmpy.transformations.reification cpmpy.transformations.safening cpmpy.transformations.to_cnf

Modulo (class in cpmpy.expressions.globalfunctions) mss() (in module cpmpy.tools.explain.mss), [1] mss_grow() (in module cpmpy.tools.explain.mss), [1] mss_grow_naive() (in module cpmpy.tools.explain.mss), [1] mss_opt() (in module cpmpy.tools.explain.mss), [1] mT (cpmpy.expressions.variables.NDVarArray attribute) mus() (in module cpmpy.tools.explain.mus), [1] mus_naive() (in module cpmpy.tools.explain.mus), [1] mzn_name_pattern (cpmpy.solvers.minizinc.CPM_minizinc attribute) mzn_time_to_seconds() (cpmpy.solvers.minizinc.CPM_minizinc method)

N

native_model (cpmpy.solvers.choco.CPM_choco property) (cpmpy.solvers.cplex.CPM_cplex property) (cpmpy.solvers.cpo.CPM_cpo property) (cpmpy.solvers.exact.CPM_exact property) (cpmpy.solvers.gcs.CPM_gcs property) (cpmpy.solvers.gurobi.CPM_gurobi property) (cpmpy.solvers.hexaly.CPM_hexaly property) (cpmpy.solvers.minizinc.CPM_minizinc property) (cpmpy.solvers.ortools.CPM_ortools property) (cpmpy.solvers.pindakaas.CPM_pindakaas property) (cpmpy.solvers.pumpkin.CPM_pumpkin property) (cpmpy.solvers.pysat.CPM_pysat property) (cpmpy.solvers.pysdd.CPM_pysdd property) (cpmpy.solvers.rc2.CPM_rc2 property) (cpmpy.solvers.solver_interface.SolverInterface property) (cpmpy.solvers.z3.CPM_z3 property) nbytes (cpmpy.expressions.variables.NDVarArray attribute) ndim (cpmpy.expressions.variables.NDVarArray attribute) NDVarArray (class in cpmpy.expressions.variables) negate() (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1]

negated_normal() (in module cpmpy.transformations.negation) NegativeShortTable (class in cpmpy.tools.xcsp3.globals), [1] NegativeTable (class in cpmpy.expressions.globalconstraints) NegBoolView (class in cpmpy.expressions.variables) no_partial_functions() (in module cpmpy.transformations.safening) NonReifiedTable (class in cpmpy.tools.xcsp3.globals), [1] nonzero() (cpmpy.expressions.variables.NDVarArray method) NoOverlap (class in cpmpy.expressions.globalconstraints) NoOverlap2d (class in cpmpy.tools.xcsp3.globals), [1] normalized_boolexpr() (in module cpmpy.transformations.flatten_model) normalized_numexpr() (in module cpmpy.transformations.flatten_model) NotInDomain (class in cpmpy.tools.xcsp3.globals), [1] NullShapeError NValue (class in cpmpy.expressions.globalfunctions) NValueExcept (class in cpmpy.expressions.globalfunctions)

O

objective() (cpmpy.model.Model method) (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) objective_value() (cpmpy.model.Model method) (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method)

ocus() (in module cpmpy.tools.explain.mus), [1] ocus_naive() (in module cpmpy.tools.explain.mus), [1] OCUSException, [1] on_solution_callback() (cpmpy.solvers.hexaly.HexSolutionPrinter method) only_bv_reifies() (in module cpmpy.transformations.reification) only_implies() (in module cpmpy.transformations.reification) only_numexpr_equality() (in module cpmpy.transformations.comparison) only_positive_bv() (in module cpmpy.transformations.linearize) only_positive_bv_wsum() (in module cpmpy.transformations.linearize) only_positive_bv_wsum_const() (in module cpmpy.transformations.linearize) only_positive_coefficients() (in module cpmpy.transformations.linearize) only_positive_coefficients_() (in module cpmpy.transformations.linearize) Operator (class in cpmpy.expressions.core) optimal_mus() (in module cpmpy.tools.explain.mus), [1] optimal_mus_naive() (in module cpmpy.tools.explain.mus), [1] OrtNoOverlap2D (class in cpmpy.tools.xcsp3.globals), [1] OrtSubcircuit (class in cpmpy.tools.xcsp3.globals), [1] OrtSubcircuitWithStart (class in cpmpy.tools.xcsp3.globals), [1] outdated() (cpmpy.solvers.minizinc.CPM_minizinc static method) OWNDATA (cpmpy.expressions.variables.NDVarArray attribute)

P

param_combinations() (in module cpmpy.solvers.utils) ParameterTuner (class in cpmpy.tools.tune_solver) partition() (cpmpy.expressions.variables.NDVarArray method) Power (class in cpmpy.expressions.globalfunctions) Precedence (class in cpmpy.expressions.globalconstraints) print_status() (cpmpy.solvers.utils.SolverLookup class method)

print_variables() (in module cpmpy.transformations.get_variables) print_version() (cpmpy.solvers.utils.SolverLookup class method) printmap (cpmpy.expressions.core.Operator attribute) prod() (cpmpy.expressions.variables.NDVarArray method) push_down_negation() (in module cpmpy.transformations.negation) put() (cpmpy.expressions.variables.NDVarArray method)

Q

quickxplain() (in module cpmpy.tools.explain.mus), [1]

quickxplain_naive() (in module cpmpy.tools.explain.mus), [1]

R

ravel() (cpmpy.expressions.variables.NDVarArray method) read_dimacs() (in module cpmpy.tools.dimacs) read_xcsp3() (in module cpmpy.tools.xcsp3) real (cpmpy.expressions.variables.NDVarArray attribute) recurse_negation() (in module cpmpy.transformations.negation) Regular (class in cpmpy.expressions.globalconstraints) (class in cpmpy.tools.xcsp3.globals), [1]

reify_rewrite() (in module cpmpy.transformations.reification) repeat() (cpmpy.expressions.variables.NDVarArray method) replace_cons_with_assump() (in module cpmpy.tools.explain.utils), [1] required_version (cpmpy.solvers.minizinc.CPM_minizinc attribute) reshape() (cpmpy.expressions.variables.NDVarArray method) resize() (cpmpy.expressions.variables.NDVarArray method) round() (cpmpy.expressions.variables.NDVarArray method) RowSelectingShortTable (class in cpmpy.tools.xcsp3.globals), [1]

S

safen_objective() (in module cpmpy.transformations.safening) SafeOnlyInverse (class in cpmpy.tools.xcsp3.globals), [1] searchsorted() (cpmpy.expressions.variables.NDVarArray method) set_description() (cpmpy.expressions.core.BoolVal method) (cpmpy.expressions.core.Comparison method) (cpmpy.expressions.core.Expression method) (cpmpy.expressions.core.Operator method) (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.DirectConstraint method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.expressions.variables._BoolVarImpl method) (cpmpy.expressions.variables._IntVarImpl method) (cpmpy.expressions.variables._NumVarImpl method) (cpmpy.expressions.variables.NDVarArray method) (cpmpy.expressions.variables.NegBoolView method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.ChocoSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1] setfield() (cpmpy.expressions.variables.NDVarArray method) setflags() (cpmpy.expressions.variables.NDVarArray method) shape (cpmpy.expressions.variables.NDVarArray attribute) ShortTable (class in cpmpy.expressions.globalconstraints) simplify_boolean() (in module cpmpy.transformations.normalize) size (cpmpy.expressions.variables.NDVarArray attribute) smus() (in module cpmpy.tools.explain.mus), [1] solution_count() (cpmpy.solvers.hexaly.HexSolutionPrinter method) solution_hint() (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) solve() (cpmpy.model.Model method) (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) solveAll() (cpmpy.model.Model method) (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method)

solver_var() (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) solver_vars() (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method) SolverInterface (class in cpmpy.solvers.solver_interface) SolverLookup (class in cpmpy.solvers.utils) solvernames() (cpmpy.solvers.minizinc.CPM_minizinc static method) (cpmpy.solvers.pysat.CPM_pysat static method) (cpmpy.solvers.rc2.CPM_rc2 static method) (cpmpy.solvers.utils.SolverLookup class method) SolverStatus (class in cpmpy.solvers.solver_interface) solverversion() (cpmpy.solvers.minizinc.CPM_minizinc static method) (cpmpy.solvers.pysat.CPM_pysat static method) (cpmpy.solvers.rc2.CPM_rc2 static method) sort() (cpmpy.expressions.variables.NDVarArray method) squeeze() (cpmpy.expressions.variables.NDVarArray method) status() (cpmpy.model.Model method) (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.z3.CPM_z3 method) std() (cpmpy.expressions.variables.NDVarArray method) strides (cpmpy.expressions.variables.NDVarArray attribute) SubCircuit (class in cpmpy.tools.xcsp3.globals), [1] SubCircuitWithStart (class in cpmpy.tools.xcsp3.globals), [1] sum() (cpmpy.expressions.variables.NDVarArray method) (in module cpmpy.expressions.python_builtins) supported() (cpmpy.solvers.choco.CPM_choco static method) (cpmpy.solvers.cplex.CPM_cplex static method) (cpmpy.solvers.cpo.CPM_cpo static method) (cpmpy.solvers.exact.CPM_exact static method) (cpmpy.solvers.gcs.CPM_gcs static method) (cpmpy.solvers.gurobi.CPM_gurobi static method) (cpmpy.solvers.hexaly.CPM_hexaly static method) (cpmpy.solvers.minizinc.CPM_minizinc static method) (cpmpy.solvers.ortools.CPM_ortools static method) (cpmpy.solvers.pindakaas.CPM_pindakaas static method) (cpmpy.solvers.pumpkin.CPM_pumpkin static method) (cpmpy.solvers.pysat.CPM_pysat static method) (cpmpy.solvers.pysdd.CPM_pysdd static method) (cpmpy.solvers.rc2.CPM_rc2 static method) (cpmpy.solvers.solver_interface.SolverInterface static method) (cpmpy.solvers.utils.SolverLookup class method) (cpmpy.solvers.z3.CPM_z3 static method) supported_global_constraints (cpmpy.solvers.choco.CPM_choco attribute) (cpmpy.solvers.cplex.CPM_cplex attribute) (cpmpy.solvers.cpo.CPM_cpo attribute) (cpmpy.solvers.exact.CPM_exact attribute) (cpmpy.solvers.gcs.CPM_gcs attribute) (cpmpy.solvers.gurobi.CPM_gurobi attribute) (cpmpy.solvers.hexaly.CPM_hexaly attribute) (cpmpy.solvers.minizinc.CPM_minizinc attribute) (cpmpy.solvers.ortools.CPM_ortools attribute) (cpmpy.solvers.pindakaas.CPM_pindakaas attribute) (cpmpy.solvers.pumpkin.CPM_pumpkin attribute) (cpmpy.solvers.pysat.CPM_pysat attribute) (cpmpy.solvers.pysdd.CPM_pysdd attribute) (cpmpy.solvers.rc2.CPM_rc2 attribute) (cpmpy.solvers.z3.CPM_z3 attribute) supported_reified_global_constraints (cpmpy.solvers.choco.CPM_choco attribute) (cpmpy.solvers.cplex.CPM_cplex attribute) (cpmpy.solvers.cpo.CPM_cpo attribute) (cpmpy.solvers.exact.CPM_exact attribute) (cpmpy.solvers.gcs.CPM_gcs attribute) (cpmpy.solvers.gurobi.CPM_gurobi attribute) (cpmpy.solvers.hexaly.CPM_hexaly attribute) (cpmpy.solvers.minizinc.CPM_minizinc attribute) (cpmpy.solvers.ortools.CPM_ortools attribute) (cpmpy.solvers.pindakaas.CPM_pindakaas attribute) (cpmpy.solvers.pumpkin.CPM_pumpkin attribute) (cpmpy.solvers.pysat.CPM_pysat attribute) (cpmpy.solvers.pysdd.CPM_pysdd attribute) (cpmpy.solvers.rc2.CPM_rc2 attribute) (cpmpy.solvers.z3.CPM_z3 attribute) swapaxes() (cpmpy.expressions.variables.NDVarArray method)

T

T (cpmpy.expressions.variables.NDVarArray attribute) Table (class in cpmpy.expressions.globalconstraints) take() (cpmpy.expressions.variables.NDVarArray method) to_cnf() (in module cpmpy.transformations.to_cnf) to_device() (cpmpy.expressions.variables.NDVarArray method) to_file() (cpmpy.model.Model method) to_predicate() (cpmpy.solvers.pumpkin.CPM_pumpkin method) to_pum_ivar() (cpmpy.solvers.pumpkin.CPM_pumpkin method) tobytes() (cpmpy.expressions.variables.NDVarArray method) tofile() (cpmpy.expressions.variables.NDVarArray method) tolist() (cpmpy.expressions.variables.NDVarArray method) toplevel_list() (in module cpmpy.transformations.normalize) trace() (cpmpy.expressions.variables.NDVarArray method) transform() (cpmpy.solvers.choco.CPM_choco method) (cpmpy.solvers.cplex.CPM_cplex method) (cpmpy.solvers.cpo.CPM_cpo method) (cpmpy.solvers.exact.CPM_exact method) (cpmpy.solvers.gcs.CPM_gcs method) (cpmpy.solvers.gurobi.CPM_gurobi method) (cpmpy.solvers.hexaly.CPM_hexaly method) (cpmpy.solvers.minizinc.CPM_minizinc method) (cpmpy.solvers.ortools.CPM_ortools method) (cpmpy.solvers.pindakaas.CPM_pindakaas method) (cpmpy.solvers.pumpkin.CPM_pumpkin method) (cpmpy.solvers.pysat.CPM_pysat method) (cpmpy.solvers.pysdd.CPM_pysdd method) (cpmpy.solvers.rc2.CPM_rc2 method) (cpmpy.solvers.solver_interface.SolverInterface method) (cpmpy.solvers.z3.CPM_z3 method)

transform_objective() (cpmpy.solvers.rc2.CPM_rc2 method) transpose() (cpmpy.expressions.variables.NDVarArray method) tunable_params() (cpmpy.solvers.ortools.CPM_ortools class method) tune() (cpmpy.tools.tune_solver.GridSearchTuner method) (cpmpy.tools.tune_solver.ParameterTuner method)

U

update_args() (cpmpy.expressions.core.BoolVal method) (cpmpy.expressions.core.Comparison method) (cpmpy.expressions.core.Expression method) (cpmpy.expressions.core.Operator method) (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.DirectConstraint method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.expressions.variables._BoolVarImpl method) (cpmpy.expressions.variables._IntVarImpl method) (cpmpy.expressions.variables._NumVarImpl method) (cpmpy.expressions.variables.NDVarArray method) (cpmpy.expressions.variables.NegBoolView method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.ChocoSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1]

V

value() (cpmpy.expressions.core.BoolVal method) (cpmpy.expressions.core.Comparison method) (cpmpy.expressions.core.Expression method) (cpmpy.expressions.core.Operator method) (cpmpy.expressions.globalconstraints.AllDifferent method) (cpmpy.expressions.globalconstraints.AllDifferentExcept0 method) (cpmpy.expressions.globalconstraints.AllDifferentExceptN method) (cpmpy.expressions.globalconstraints.AllEqual method) (cpmpy.expressions.globalconstraints.AllEqualExceptN method) (cpmpy.expressions.globalconstraints.Circuit method) (cpmpy.expressions.globalconstraints.Cumulative method) (cpmpy.expressions.globalconstraints.Decreasing method) (cpmpy.expressions.globalconstraints.DecreasingStrict method) (cpmpy.expressions.globalconstraints.DirectConstraint method) (cpmpy.expressions.globalconstraints.GlobalCardinalityCount method) (cpmpy.expressions.globalconstraints.GlobalConstraint method) (cpmpy.expressions.globalconstraints.IfThenElse method) (cpmpy.expressions.globalconstraints.Increasing method) (cpmpy.expressions.globalconstraints.IncreasingStrict method) (cpmpy.expressions.globalconstraints.InDomain method) (cpmpy.expressions.globalconstraints.Inverse method) (cpmpy.expressions.globalconstraints.LexChainLess method) (cpmpy.expressions.globalconstraints.LexChainLessEq method) (cpmpy.expressions.globalconstraints.LexLess method) (cpmpy.expressions.globalconstraints.LexLessEq method) (cpmpy.expressions.globalconstraints.NegativeTable method) (cpmpy.expressions.globalconstraints.NoOverlap method) (cpmpy.expressions.globalconstraints.Precedence method) (cpmpy.expressions.globalconstraints.Regular method) (cpmpy.expressions.globalconstraints.ShortTable method) (cpmpy.expressions.globalconstraints.Table method) (cpmpy.expressions.globalconstraints.Xor method) (cpmpy.expressions.globalfunctions.Abs method) (cpmpy.expressions.globalfunctions.Among method) (cpmpy.expressions.globalfunctions.Count method) (cpmpy.expressions.globalfunctions.Division method) (cpmpy.expressions.globalfunctions.Element method) (cpmpy.expressions.globalfunctions.GlobalFunction method) (cpmpy.expressions.globalfunctions.Maximum method) (cpmpy.expressions.globalfunctions.Minimum method) (cpmpy.expressions.globalfunctions.Modulo method) (cpmpy.expressions.globalfunctions.NValue method) (cpmpy.expressions.globalfunctions.NValueExcept method) (cpmpy.expressions.globalfunctions.Power method) (cpmpy.expressions.variables._BoolVarImpl method) (cpmpy.expressions.variables._IntVarImpl method) (cpmpy.expressions.variables._NumVarImpl method) (cpmpy.expressions.variables.NDVarArray method) (cpmpy.expressions.variables.NegBoolView method) (cpmpy.tools.xcsp3.globals.AllDifferentLists method), [1] (cpmpy.tools.xcsp3.globals.AllDifferentListsExceptN method), [1] (cpmpy.tools.xcsp3.globals.Channel method), [1] (cpmpy.tools.xcsp3.globals.ChocoSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.DynamicCumulative method), [1] (cpmpy.tools.xcsp3.globals.IfThenElseNum method), [1] (cpmpy.tools.xcsp3.globals.InverseOne method), [1] (cpmpy.tools.xcsp3.globals.MDD method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.MinizincSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.NegativeShortTable method), [1] (cpmpy.tools.xcsp3.globals.NonReifiedTable method), [1] (cpmpy.tools.xcsp3.globals.NoOverlap2d method), [1] (cpmpy.tools.xcsp3.globals.NotInDomain method), [1] (cpmpy.tools.xcsp3.globals.OrtNoOverlap2D method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuit method), [1] (cpmpy.tools.xcsp3.globals.OrtSubcircuitWithStart method), [1] (cpmpy.tools.xcsp3.globals.Regular method), [1] (cpmpy.tools.xcsp3.globals.RowSelectingShortTable method), [1] (cpmpy.tools.xcsp3.globals.SafeOnlyInverse method), [1] (cpmpy.tools.xcsp3.globals.SubCircuit method), [1] (cpmpy.tools.xcsp3.globals.SubCircuitWithStart method), [1]

var() (cpmpy.expressions.variables.NDVarArray method) vars (cpmpy.tools.xcsp3.globals.NonReifiedTable property), [1] vars_expr() (in module cpmpy.transformations.get_variables) verify() (cpmpy.solvers.gcs.CPM_gcs method) version() (cpmpy.solvers.choco.CPM_choco static method) (cpmpy.solvers.cplex.CPM_cplex static method) (cpmpy.solvers.cpo.CPM_cpo static method) (cpmpy.solvers.exact.CPM_exact static method) (cpmpy.solvers.gcs.CPM_gcs static method) (cpmpy.solvers.gurobi.CPM_gurobi static method) (cpmpy.solvers.hexaly.CPM_hexaly class method) (cpmpy.solvers.minizinc.CPM_minizinc static method) (cpmpy.solvers.ortools.CPM_ortools static method) (cpmpy.solvers.pindakaas.CPM_pindakaas static method) (cpmpy.solvers.pumpkin.CPM_pumpkin static method) (cpmpy.solvers.pysat.CPM_pysat static method) (cpmpy.solvers.pysdd.CPM_pysdd static method) (cpmpy.solvers.rc2.CPM_rc2 static method) (cpmpy.solvers.solver_interface.SolverInterface class method) (cpmpy.solvers.utils.SolverLookup class method) (cpmpy.solvers.z3.CPM_z3 class method) view() (cpmpy.expressions.variables.NDVarArray method)

W

with_traceback() (cpmpy.expressions.variables.NullShapeError method) (cpmpy.tools.explain.utils.OCUSException method), [1]

write_dimacs() (in module cpmpy.tools.dimacs) WRITEABLE (cpmpy.expressions.variables.NDVarArray attribute) WRITEBACKIFCOPY (cpmpy.expressions.variables.NDVarArray attribute)

X

XCSP3Dataset (class in cpmpy.tools.xcsp3.dataset), [1]

Xor (class in cpmpy.expressions.globalconstraints)