# -*- coding: utf-8 -*- # Generated by the protocol buffer compiler. DO NOT EDIT! # source: ortools/sat/cp_model.proto """Generated protocol buffer code.""" from google.protobuf.internal import enum_type_wrapper from google.protobuf import descriptor as _descriptor from google.protobuf import message as _message from google.protobuf import reflection as _reflection from google.protobuf import symbol_database as _symbol_database # @@protoc_insertion_point(imports) _sym_db = _symbol_database.Default() DESCRIPTOR = _descriptor.FileDescriptor( name='ortools/sat/cp_model.proto', package='operations_research.sat', syntax='proto3', serialized_options=b'\n\026com.google.ortools.satB\017CpModelProtobufP\001\252\002\022Google.OrTools.Sat', create_key=_descriptor._internal_create_key, serialized_pb=b'\n\x1aortools/sat/cp_model.proto\x12\x17operations_research.sat\"4\n\x14IntegerVariableProto\x12\x0c\n\x04name\x18\x01 \x01(\t\x12\x0e\n\x06\x64omain\x18\x02 \x03(\x03\"%\n\x11\x42oolArgumentProto\x12\x10\n\x08literals\x18\x01 \x03(\x05\"4\n\x14IntegerArgumentProto\x12\x0e\n\x06target\x18\x01 \x01(\x05\x12\x0c\n\x04vars\x18\x02 \x03(\x05\"E\n\x15LinearExpressionProto\x12\x0c\n\x04vars\x18\x01 \x03(\x05\x12\x0e\n\x06\x63oeffs\x18\x02 \x03(\x03\x12\x0e\n\x06offset\x18\x03 \x01(\x03\"\x94\x01\n\x13LinearArgumentProto\x12>\n\x06target\x18\x01 \x01(\x0b\x32..operations_research.sat.LinearExpressionProto\x12=\n\x05\x65xprs\x18\x02 \x03(\x0b\x32..operations_research.sat.LinearExpressionProto\"+\n\x1b\x41llDifferentConstraintProto\x12\x0c\n\x04vars\x18\x01 \x03(\x05\"E\n\x15LinearConstraintProto\x12\x0c\n\x04vars\x18\x01 \x03(\x05\x12\x0e\n\x06\x63oeffs\x18\x02 \x03(\x03\x12\x0e\n\x06\x64omain\x18\x03 \x03(\x03\"E\n\x16\x45lementConstraintProto\x12\r\n\x05index\x18\x01 \x01(\x05\x12\x0e\n\x06target\x18\x02 \x01(\x05\x12\x0c\n\x04vars\x18\x03 \x03(\x05\"C\n\x17IntervalConstraintProto\x12\r\n\x05start\x18\x01 \x01(\x05\x12\x0b\n\x03\x65nd\x18\x02 \x01(\x05\x12\x0c\n\x04size\x18\x03 \x01(\x05\"-\n\x18NoOverlapConstraintProto\x12\x11\n\tintervals\x18\x01 \x03(\x05\"p\n\x1aNoOverlap2DConstraintProto\x12\x13\n\x0bx_intervals\x18\x01 \x03(\x05\x12\x13\n\x0by_intervals\x18\x02 \x03(\x05\x12(\n boxes_with_null_area_can_overlap\x18\x03 \x01(\x08\"Q\n\x19\x43umulativeConstraintProto\x12\x10\n\x08\x63\x61pacity\x18\x01 \x01(\x05\x12\x11\n\tintervals\x18\x02 \x03(\x05\x12\x0f\n\x07\x64\x65mands\x18\x03 \x03(\x05\"q\n\x18ReservoirConstraintProto\x12\x11\n\tmin_level\x18\x01 \x01(\x03\x12\x11\n\tmax_level\x18\x02 \x01(\x03\x12\r\n\x05times\x18\x03 \x03(\x05\x12\x0f\n\x07\x64\x65mands\x18\x04 \x03(\x03\x12\x0f\n\x07\x61\x63tives\x18\x05 \x03(\x05\"H\n\x16\x43ircuitConstraintProto\x12\r\n\x05tails\x18\x03 \x03(\x05\x12\r\n\x05heads\x18\x04 \x03(\x05\x12\x10\n\x08literals\x18\x05 \x03(\x05\"j\n\x15RoutesConstraintProto\x12\r\n\x05tails\x18\x01 \x03(\x05\x12\r\n\x05heads\x18\x02 \x03(\x05\x12\x10\n\x08literals\x18\x03 \x03(\x05\x12\x0f\n\x07\x64\x65mands\x18\x04 \x03(\x05\x12\x10\n\x08\x63\x61pacity\x18\x05 \x01(\x03\"E\n\x14TableConstraintProto\x12\x0c\n\x04vars\x18\x01 \x03(\x05\x12\x0e\n\x06values\x18\x02 \x03(\x03\x12\x0f\n\x07negated\x18\x03 \x01(\x08\"=\n\x16InverseConstraintProto\x12\x10\n\x08\x66_direct\x18\x01 \x03(\x05\x12\x11\n\tf_inverse\x18\x02 \x03(\x05\"\xa2\x01\n\x18\x41utomatonConstraintProto\x12\x16\n\x0estarting_state\x18\x02 \x01(\x03\x12\x14\n\x0c\x66inal_states\x18\x03 \x03(\x03\x12\x17\n\x0ftransition_tail\x18\x04 \x03(\x03\x12\x17\n\x0ftransition_head\x18\x05 \x03(\x03\x12\x18\n\x10transition_label\x18\x06 \x03(\x03\x12\x0c\n\x04vars\x18\x07 \x03(\x05\"\xaa\r\n\x0f\x43onstraintProto\x12\x0c\n\x04name\x18\x01 \x01(\t\x12\x1b\n\x13\x65nforcement_literal\x18\x02 \x03(\x05\x12=\n\x07\x62ool_or\x18\x03 \x01(\x0b\x32*.operations_research.sat.BoolArgumentProtoH\x00\x12>\n\x08\x62ool_and\x18\x04 \x01(\x0b\x32*.operations_research.sat.BoolArgumentProtoH\x00\x12\x41\n\x0b\x61t_most_one\x18\x1a \x01(\x0b\x32*.operations_research.sat.BoolArgumentProtoH\x00\x12>\n\x08\x62ool_xor\x18\x05 \x01(\x0b\x32*.operations_research.sat.BoolArgumentProtoH\x00\x12@\n\x07int_div\x18\x07 \x01(\x0b\x32-.operations_research.sat.IntegerArgumentProtoH\x00\x12@\n\x07int_mod\x18\x08 \x01(\x0b\x32-.operations_research.sat.IntegerArgumentProtoH\x00\x12@\n\x07int_max\x18\t \x01(\x0b\x32-.operations_research.sat.IntegerArgumentProtoH\x00\x12?\n\x07lin_max\x18\x1b \x01(\x0b\x32,.operations_research.sat.LinearArgumentProtoH\x00\x12@\n\x07int_min\x18\n \x01(\x0b\x32-.operations_research.sat.IntegerArgumentProtoH\x00\x12?\n\x07lin_min\x18\x1c \x01(\x0b\x32,.operations_research.sat.LinearArgumentProtoH\x00\x12\x41\n\x08int_prod\x18\x0b \x01(\x0b\x32-.operations_research.sat.IntegerArgumentProtoH\x00\x12@\n\x06linear\x18\x0c \x01(\x0b\x32..operations_research.sat.LinearConstraintProtoH\x00\x12H\n\x08\x61ll_diff\x18\r \x01(\x0b\x32\x34.operations_research.sat.AllDifferentConstraintProtoH\x00\x12\x42\n\x07\x65lement\x18\x0e \x01(\x0b\x32/.operations_research.sat.ElementConstraintProtoH\x00\x12\x42\n\x07\x63ircuit\x18\x0f \x01(\x0b\x32/.operations_research.sat.CircuitConstraintProtoH\x00\x12@\n\x06routes\x18\x17 \x01(\x0b\x32..operations_research.sat.RoutesConstraintProtoH\x00\x12>\n\x05table\x18\x10 \x01(\x0b\x32-.operations_research.sat.TableConstraintProtoH\x00\x12\x46\n\tautomaton\x18\x11 \x01(\x0b\x32\x31.operations_research.sat.AutomatonConstraintProtoH\x00\x12\x42\n\x07inverse\x18\x12 \x01(\x0b\x32/.operations_research.sat.InverseConstraintProtoH\x00\x12\x46\n\treservoir\x18\x18 \x01(\x0b\x32\x31.operations_research.sat.ReservoirConstraintProtoH\x00\x12\x44\n\x08interval\x18\x13 \x01(\x0b\x32\x30.operations_research.sat.IntervalConstraintProtoH\x00\x12G\n\nno_overlap\x18\x14 \x01(\x0b\x32\x31.operations_research.sat.NoOverlapConstraintProtoH\x00\x12L\n\rno_overlap_2d\x18\x15 \x01(\x0b\x32\x33.operations_research.sat.NoOverlap2DConstraintProtoH\x00\x12H\n\ncumulative\x18\x16 \x01(\x0b\x32\x32.operations_research.sat.CumulativeConstraintProtoH\x00\x42\x0c\n\nconstraint\"h\n\x10\x43pObjectiveProto\x12\x0c\n\x04vars\x18\x01 \x03(\x05\x12\x0e\n\x06\x63oeffs\x18\x04 \x03(\x03\x12\x0e\n\x06offset\x18\x02 \x01(\x01\x12\x16\n\x0escaling_factor\x18\x03 \x01(\x01\x12\x0e\n\x06\x64omain\x18\x05 \x03(\x03\"\xd5\x05\n\x15\x44\x65\x63isionStrategyProto\x12\x11\n\tvariables\x18\x01 \x03(\x05\x12m\n\x1bvariable_selection_strategy\x18\x02 \x01(\x0e\x32H.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy\x12i\n\x19\x64omain_reduction_strategy\x18\x03 \x01(\x0e\x32\x46.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy\x12\\\n\x0ftransformations\x18\x04 \x03(\x0b\x32\x43.operations_research.sat.DecisionStrategyProto.AffineTransformation\x1aK\n\x14\x41\x66\x66ineTransformation\x12\x0b\n\x03var\x18\x01 \x01(\x05\x12\x0e\n\x06offset\x18\x02 \x01(\x03\x12\x16\n\x0epositive_coeff\x18\x03 \x01(\x03\"\x94\x01\n\x19VariableSelectionStrategy\x12\x10\n\x0c\x43HOOSE_FIRST\x10\x00\x12\x15\n\x11\x43HOOSE_LOWEST_MIN\x10\x01\x12\x16\n\x12\x43HOOSE_HIGHEST_MAX\x10\x02\x12\x1a\n\x16\x43HOOSE_MIN_DOMAIN_SIZE\x10\x03\x12\x1a\n\x16\x43HOOSE_MAX_DOMAIN_SIZE\x10\x04\"\x8c\x01\n\x17\x44omainReductionStrategy\x12\x14\n\x10SELECT_MIN_VALUE\x10\x00\x12\x14\n\x10SELECT_MAX_VALUE\x10\x01\x12\x15\n\x11SELECT_LOWER_HALF\x10\x02\x12\x15\n\x11SELECT_UPPER_HALF\x10\x03\x12\x17\n\x13SELECT_MEDIAN_VALUE\x10\x04\"9\n\x19PartialVariableAssignment\x12\x0c\n\x04vars\x18\x01 \x03(\x05\x12\x0e\n\x06values\x18\x02 \x03(\x03\"\x84\x03\n\x0c\x43pModelProto\x12\x0c\n\x04name\x18\x01 \x01(\t\x12@\n\tvariables\x18\x02 \x03(\x0b\x32-.operations_research.sat.IntegerVariableProto\x12=\n\x0b\x63onstraints\x18\x03 \x03(\x0b\x32(.operations_research.sat.ConstraintProto\x12<\n\tobjective\x18\x04 \x01(\x0b\x32).operations_research.sat.CpObjectiveProto\x12G\n\x0fsearch_strategy\x18\x05 \x03(\x0b\x32..operations_research.sat.DecisionStrategyProto\x12I\n\rsolution_hint\x18\x06 \x01(\x0b\x32\x32.operations_research.sat.PartialVariableAssignment\x12\x13\n\x0b\x61ssumptions\x18\x07 \x03(\x05\"\x9b\x05\n\x10\x43pSolverResponse\x12\x37\n\x06status\x18\x01 \x01(\x0e\x32\'.operations_research.sat.CpSolverStatus\x12\x10\n\x08solution\x18\x02 \x03(\x03\x12\x17\n\x0fobjective_value\x18\x03 \x01(\x01\x12\x1c\n\x14\x62\x65st_objective_bound\x18\x04 \x01(\x01\x12\x1d\n\x15solution_lower_bounds\x18\x12 \x03(\x03\x12\x1d\n\x15solution_upper_bounds\x18\x13 \x03(\x03\x12J\n\x13tightened_variables\x18\x15 \x03(\x0b\x32-.operations_research.sat.IntegerVariableProto\x12\x30\n(sufficient_assumptions_for_infeasibility\x18\x17 \x03(\x05\x12 \n\x18\x61ll_solutions_were_found\x18\x05 \x01(\x08\x12\x14\n\x0cnum_booleans\x18\n \x01(\x03\x12\x15\n\rnum_conflicts\x18\x0b \x01(\x03\x12\x14\n\x0cnum_branches\x18\x0c \x01(\x03\x12\x1f\n\x17num_binary_propagations\x18\r \x01(\x03\x12 \n\x18num_integer_propagations\x18\x0e \x01(\x03\x12\x14\n\x0cnum_restarts\x18\x18 \x01(\x03\x12\x19\n\x11num_lp_iterations\x18\x19 \x01(\x03\x12\x11\n\twall_time\x18\x0f \x01(\x01\x12\x11\n\tuser_time\x18\x10 \x01(\x01\x12\x1a\n\x12\x64\x65terministic_time\x18\x11 \x01(\x01\x12\x17\n\x0fprimal_integral\x18\x16 \x01(\x01\x12\x15\n\rsolution_info\x18\x14 \x01(\t*[\n\x0e\x43pSolverStatus\x12\x0b\n\x07UNKNOWN\x10\x00\x12\x11\n\rMODEL_INVALID\x10\x01\x12\x0c\n\x08\x46\x45\x41SIBLE\x10\x02\x12\x0e\n\nINFEASIBLE\x10\x03\x12\x0b\n\x07OPTIMAL\x10\x04\x42@\n\x16\x63om.google.ortools.satB\x0f\x43pModelProtobufP\x01\xaa\x02\x12Google.OrTools.Satb\x06proto3' ) _CPSOLVERSTATUS = _descriptor.EnumDescriptor( name='CpSolverStatus', full_name='operations_research.sat.CpSolverStatus', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='UNKNOWN', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='MODEL_INVALID', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='FEASIBLE', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='INFEASIBLE', index=3, number=3, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='OPTIMAL', index=4, number=4, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=5183, serialized_end=5274, ) _sym_db.RegisterEnumDescriptor(_CPSOLVERSTATUS) CpSolverStatus = enum_type_wrapper.EnumTypeWrapper(_CPSOLVERSTATUS) UNKNOWN = 0 MODEL_INVALID = 1 FEASIBLE = 2 INFEASIBLE = 3 OPTIMAL = 4 _DECISIONSTRATEGYPROTO_VARIABLESELECTIONSTRATEGY = _descriptor.EnumDescriptor( name='VariableSelectionStrategy', full_name='operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='CHOOSE_FIRST', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='CHOOSE_LOWEST_MIN', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='CHOOSE_HIGHEST_MAX', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='CHOOSE_MIN_DOMAIN_SIZE', index=3, number=3, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='CHOOSE_MAX_DOMAIN_SIZE', index=4, number=4, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=3770, serialized_end=3918, ) _sym_db.RegisterEnumDescriptor(_DECISIONSTRATEGYPROTO_VARIABLESELECTIONSTRATEGY) _DECISIONSTRATEGYPROTO_DOMAINREDUCTIONSTRATEGY = _descriptor.EnumDescriptor( name='DomainReductionStrategy', full_name='operations_research.sat.DecisionStrategyProto.DomainReductionStrategy', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='SELECT_MIN_VALUE', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='SELECT_MAX_VALUE', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='SELECT_LOWER_HALF', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='SELECT_UPPER_HALF', index=3, number=3, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='SELECT_MEDIAN_VALUE', index=4, number=4, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=3921, serialized_end=4061, ) _sym_db.RegisterEnumDescriptor(_DECISIONSTRATEGYPROTO_DOMAINREDUCTIONSTRATEGY) _INTEGERVARIABLEPROTO = _descriptor.Descriptor( name='IntegerVariableProto', full_name='operations_research.sat.IntegerVariableProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='name', full_name='operations_research.sat.IntegerVariableProto.name', index=0, number=1, type=9, cpp_type=9, label=1, has_default_value=False, default_value=b"".decode('utf-8'), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='domain', full_name='operations_research.sat.IntegerVariableProto.domain', index=1, number=2, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=55, serialized_end=107, ) _BOOLARGUMENTPROTO = _descriptor.Descriptor( name='BoolArgumentProto', full_name='operations_research.sat.BoolArgumentProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='literals', full_name='operations_research.sat.BoolArgumentProto.literals', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=109, serialized_end=146, ) _INTEGERARGUMENTPROTO = _descriptor.Descriptor( name='IntegerArgumentProto', full_name='operations_research.sat.IntegerArgumentProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='target', full_name='operations_research.sat.IntegerArgumentProto.target', index=0, number=1, type=5, cpp_type=1, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='vars', full_name='operations_research.sat.IntegerArgumentProto.vars', index=1, number=2, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=148, serialized_end=200, ) _LINEAREXPRESSIONPROTO = _descriptor.Descriptor( name='LinearExpressionProto', full_name='operations_research.sat.LinearExpressionProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='vars', full_name='operations_research.sat.LinearExpressionProto.vars', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='coeffs', full_name='operations_research.sat.LinearExpressionProto.coeffs', index=1, number=2, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='offset', full_name='operations_research.sat.LinearExpressionProto.offset', index=2, number=3, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=202, serialized_end=271, ) _LINEARARGUMENTPROTO = _descriptor.Descriptor( name='LinearArgumentProto', full_name='operations_research.sat.LinearArgumentProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='target', full_name='operations_research.sat.LinearArgumentProto.target', index=0, number=1, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='exprs', full_name='operations_research.sat.LinearArgumentProto.exprs', index=1, number=2, type=11, cpp_type=10, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=274, serialized_end=422, ) _ALLDIFFERENTCONSTRAINTPROTO = _descriptor.Descriptor( name='AllDifferentConstraintProto', full_name='operations_research.sat.AllDifferentConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='vars', full_name='operations_research.sat.AllDifferentConstraintProto.vars', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=424, serialized_end=467, ) _LINEARCONSTRAINTPROTO = _descriptor.Descriptor( name='LinearConstraintProto', full_name='operations_research.sat.LinearConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='vars', full_name='operations_research.sat.LinearConstraintProto.vars', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='coeffs', full_name='operations_research.sat.LinearConstraintProto.coeffs', index=1, number=2, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='domain', full_name='operations_research.sat.LinearConstraintProto.domain', index=2, number=3, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=469, serialized_end=538, ) _ELEMENTCONSTRAINTPROTO = _descriptor.Descriptor( name='ElementConstraintProto', full_name='operations_research.sat.ElementConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='index', full_name='operations_research.sat.ElementConstraintProto.index', index=0, number=1, type=5, cpp_type=1, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='target', full_name='operations_research.sat.ElementConstraintProto.target', index=1, number=2, type=5, cpp_type=1, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='vars', full_name='operations_research.sat.ElementConstraintProto.vars', index=2, number=3, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=540, serialized_end=609, ) _INTERVALCONSTRAINTPROTO = _descriptor.Descriptor( name='IntervalConstraintProto', full_name='operations_research.sat.IntervalConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='start', full_name='operations_research.sat.IntervalConstraintProto.start', index=0, number=1, type=5, cpp_type=1, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='end', full_name='operations_research.sat.IntervalConstraintProto.end', index=1, number=2, type=5, cpp_type=1, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='size', full_name='operations_research.sat.IntervalConstraintProto.size', index=2, number=3, type=5, cpp_type=1, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=611, serialized_end=678, ) _NOOVERLAPCONSTRAINTPROTO = _descriptor.Descriptor( name='NoOverlapConstraintProto', full_name='operations_research.sat.NoOverlapConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='intervals', full_name='operations_research.sat.NoOverlapConstraintProto.intervals', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=680, serialized_end=725, ) _NOOVERLAP2DCONSTRAINTPROTO = _descriptor.Descriptor( name='NoOverlap2DConstraintProto', full_name='operations_research.sat.NoOverlap2DConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='x_intervals', full_name='operations_research.sat.NoOverlap2DConstraintProto.x_intervals', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='y_intervals', full_name='operations_research.sat.NoOverlap2DConstraintProto.y_intervals', index=1, number=2, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='boxes_with_null_area_can_overlap', full_name='operations_research.sat.NoOverlap2DConstraintProto.boxes_with_null_area_can_overlap', index=2, number=3, type=8, cpp_type=7, label=1, has_default_value=False, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=727, serialized_end=839, ) _CUMULATIVECONSTRAINTPROTO = _descriptor.Descriptor( name='CumulativeConstraintProto', full_name='operations_research.sat.CumulativeConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='capacity', full_name='operations_research.sat.CumulativeConstraintProto.capacity', index=0, number=1, type=5, cpp_type=1, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='intervals', full_name='operations_research.sat.CumulativeConstraintProto.intervals', index=1, number=2, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='demands', full_name='operations_research.sat.CumulativeConstraintProto.demands', index=2, number=3, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=841, serialized_end=922, ) _RESERVOIRCONSTRAINTPROTO = _descriptor.Descriptor( name='ReservoirConstraintProto', full_name='operations_research.sat.ReservoirConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='min_level', full_name='operations_research.sat.ReservoirConstraintProto.min_level', index=0, number=1, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_level', full_name='operations_research.sat.ReservoirConstraintProto.max_level', index=1, number=2, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='times', full_name='operations_research.sat.ReservoirConstraintProto.times', index=2, number=3, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='demands', full_name='operations_research.sat.ReservoirConstraintProto.demands', index=3, number=4, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='actives', full_name='operations_research.sat.ReservoirConstraintProto.actives', index=4, number=5, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=924, serialized_end=1037, ) _CIRCUITCONSTRAINTPROTO = _descriptor.Descriptor( name='CircuitConstraintProto', full_name='operations_research.sat.CircuitConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='tails', full_name='operations_research.sat.CircuitConstraintProto.tails', index=0, number=3, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='heads', full_name='operations_research.sat.CircuitConstraintProto.heads', index=1, number=4, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='literals', full_name='operations_research.sat.CircuitConstraintProto.literals', index=2, number=5, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=1039, serialized_end=1111, ) _ROUTESCONSTRAINTPROTO = _descriptor.Descriptor( name='RoutesConstraintProto', full_name='operations_research.sat.RoutesConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='tails', full_name='operations_research.sat.RoutesConstraintProto.tails', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='heads', full_name='operations_research.sat.RoutesConstraintProto.heads', index=1, number=2, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='literals', full_name='operations_research.sat.RoutesConstraintProto.literals', index=2, number=3, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='demands', full_name='operations_research.sat.RoutesConstraintProto.demands', index=3, number=4, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='capacity', full_name='operations_research.sat.RoutesConstraintProto.capacity', index=4, number=5, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=1113, serialized_end=1219, ) _TABLECONSTRAINTPROTO = _descriptor.Descriptor( name='TableConstraintProto', full_name='operations_research.sat.TableConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='vars', full_name='operations_research.sat.TableConstraintProto.vars', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='values', full_name='operations_research.sat.TableConstraintProto.values', index=1, number=2, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='negated', full_name='operations_research.sat.TableConstraintProto.negated', index=2, number=3, type=8, cpp_type=7, label=1, has_default_value=False, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=1221, serialized_end=1290, ) _INVERSECONSTRAINTPROTO = _descriptor.Descriptor( name='InverseConstraintProto', full_name='operations_research.sat.InverseConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='f_direct', full_name='operations_research.sat.InverseConstraintProto.f_direct', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='f_inverse', full_name='operations_research.sat.InverseConstraintProto.f_inverse', index=1, number=2, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=1292, serialized_end=1353, ) _AUTOMATONCONSTRAINTPROTO = _descriptor.Descriptor( name='AutomatonConstraintProto', full_name='operations_research.sat.AutomatonConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='starting_state', full_name='operations_research.sat.AutomatonConstraintProto.starting_state', index=0, number=2, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='final_states', full_name='operations_research.sat.AutomatonConstraintProto.final_states', index=1, number=3, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='transition_tail', full_name='operations_research.sat.AutomatonConstraintProto.transition_tail', index=2, number=4, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='transition_head', full_name='operations_research.sat.AutomatonConstraintProto.transition_head', index=3, number=5, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='transition_label', full_name='operations_research.sat.AutomatonConstraintProto.transition_label', index=4, number=6, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='vars', full_name='operations_research.sat.AutomatonConstraintProto.vars', index=5, number=7, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=1356, serialized_end=1518, ) _CONSTRAINTPROTO = _descriptor.Descriptor( name='ConstraintProto', full_name='operations_research.sat.ConstraintProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='name', full_name='operations_research.sat.ConstraintProto.name', index=0, number=1, type=9, cpp_type=9, label=1, has_default_value=False, default_value=b"".decode('utf-8'), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='enforcement_literal', full_name='operations_research.sat.ConstraintProto.enforcement_literal', index=1, number=2, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='bool_or', full_name='operations_research.sat.ConstraintProto.bool_or', index=2, number=3, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='bool_and', full_name='operations_research.sat.ConstraintProto.bool_and', index=3, number=4, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='at_most_one', full_name='operations_research.sat.ConstraintProto.at_most_one', index=4, number=26, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='bool_xor', full_name='operations_research.sat.ConstraintProto.bool_xor', index=5, number=5, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='int_div', full_name='operations_research.sat.ConstraintProto.int_div', index=6, number=7, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='int_mod', full_name='operations_research.sat.ConstraintProto.int_mod', index=7, number=8, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='int_max', full_name='operations_research.sat.ConstraintProto.int_max', index=8, number=9, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='lin_max', full_name='operations_research.sat.ConstraintProto.lin_max', index=9, number=27, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='int_min', full_name='operations_research.sat.ConstraintProto.int_min', index=10, number=10, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='lin_min', full_name='operations_research.sat.ConstraintProto.lin_min', index=11, number=28, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='int_prod', full_name='operations_research.sat.ConstraintProto.int_prod', index=12, number=11, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='linear', full_name='operations_research.sat.ConstraintProto.linear', index=13, number=12, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='all_diff', full_name='operations_research.sat.ConstraintProto.all_diff', index=14, number=13, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='element', full_name='operations_research.sat.ConstraintProto.element', index=15, number=14, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='circuit', full_name='operations_research.sat.ConstraintProto.circuit', index=16, number=15, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='routes', full_name='operations_research.sat.ConstraintProto.routes', index=17, number=23, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='table', full_name='operations_research.sat.ConstraintProto.table', index=18, number=16, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='automaton', full_name='operations_research.sat.ConstraintProto.automaton', index=19, number=17, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='inverse', full_name='operations_research.sat.ConstraintProto.inverse', index=20, number=18, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='reservoir', full_name='operations_research.sat.ConstraintProto.reservoir', index=21, number=24, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='interval', full_name='operations_research.sat.ConstraintProto.interval', index=22, number=19, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='no_overlap', full_name='operations_research.sat.ConstraintProto.no_overlap', index=23, number=20, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='no_overlap_2d', full_name='operations_research.sat.ConstraintProto.no_overlap_2d', index=24, number=21, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cumulative', full_name='operations_research.sat.ConstraintProto.cumulative', index=25, number=22, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ _descriptor.OneofDescriptor( name='constraint', full_name='operations_research.sat.ConstraintProto.constraint', index=0, containing_type=None, create_key=_descriptor._internal_create_key, fields=[]), ], serialized_start=1521, serialized_end=3227, ) _CPOBJECTIVEPROTO = _descriptor.Descriptor( name='CpObjectiveProto', full_name='operations_research.sat.CpObjectiveProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='vars', full_name='operations_research.sat.CpObjectiveProto.vars', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='coeffs', full_name='operations_research.sat.CpObjectiveProto.coeffs', index=1, number=4, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='offset', full_name='operations_research.sat.CpObjectiveProto.offset', index=2, number=2, type=1, cpp_type=5, label=1, has_default_value=False, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='scaling_factor', full_name='operations_research.sat.CpObjectiveProto.scaling_factor', index=3, number=3, type=1, cpp_type=5, label=1, has_default_value=False, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='domain', full_name='operations_research.sat.CpObjectiveProto.domain', index=4, number=5, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=3229, serialized_end=3333, ) _DECISIONSTRATEGYPROTO_AFFINETRANSFORMATION = _descriptor.Descriptor( name='AffineTransformation', full_name='operations_research.sat.DecisionStrategyProto.AffineTransformation', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='var', full_name='operations_research.sat.DecisionStrategyProto.AffineTransformation.var', index=0, number=1, type=5, cpp_type=1, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='offset', full_name='operations_research.sat.DecisionStrategyProto.AffineTransformation.offset', index=1, number=2, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='positive_coeff', full_name='operations_research.sat.DecisionStrategyProto.AffineTransformation.positive_coeff', index=2, number=3, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=3692, serialized_end=3767, ) _DECISIONSTRATEGYPROTO = _descriptor.Descriptor( name='DecisionStrategyProto', full_name='operations_research.sat.DecisionStrategyProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='variables', full_name='operations_research.sat.DecisionStrategyProto.variables', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='variable_selection_strategy', full_name='operations_research.sat.DecisionStrategyProto.variable_selection_strategy', index=1, number=2, type=14, cpp_type=8, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='domain_reduction_strategy', full_name='operations_research.sat.DecisionStrategyProto.domain_reduction_strategy', index=2, number=3, type=14, cpp_type=8, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='transformations', full_name='operations_research.sat.DecisionStrategyProto.transformations', index=3, number=4, type=11, cpp_type=10, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[_DECISIONSTRATEGYPROTO_AFFINETRANSFORMATION, ], enum_types=[ _DECISIONSTRATEGYPROTO_VARIABLESELECTIONSTRATEGY, _DECISIONSTRATEGYPROTO_DOMAINREDUCTIONSTRATEGY, ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=3336, serialized_end=4061, ) _PARTIALVARIABLEASSIGNMENT = _descriptor.Descriptor( name='PartialVariableAssignment', full_name='operations_research.sat.PartialVariableAssignment', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='vars', full_name='operations_research.sat.PartialVariableAssignment.vars', index=0, number=1, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='values', full_name='operations_research.sat.PartialVariableAssignment.values', index=1, number=2, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=4063, serialized_end=4120, ) _CPMODELPROTO = _descriptor.Descriptor( name='CpModelProto', full_name='operations_research.sat.CpModelProto', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='name', full_name='operations_research.sat.CpModelProto.name', index=0, number=1, type=9, cpp_type=9, label=1, has_default_value=False, default_value=b"".decode('utf-8'), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='variables', full_name='operations_research.sat.CpModelProto.variables', index=1, number=2, type=11, cpp_type=10, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='constraints', full_name='operations_research.sat.CpModelProto.constraints', index=2, number=3, type=11, cpp_type=10, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='objective', full_name='operations_research.sat.CpModelProto.objective', index=3, number=4, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='search_strategy', full_name='operations_research.sat.CpModelProto.search_strategy', index=4, number=5, type=11, cpp_type=10, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='solution_hint', full_name='operations_research.sat.CpModelProto.solution_hint', index=5, number=6, type=11, cpp_type=10, label=1, has_default_value=False, default_value=None, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='assumptions', full_name='operations_research.sat.CpModelProto.assumptions', index=6, number=7, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=4123, serialized_end=4511, ) _CPSOLVERRESPONSE = _descriptor.Descriptor( name='CpSolverResponse', full_name='operations_research.sat.CpSolverResponse', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='status', full_name='operations_research.sat.CpSolverResponse.status', index=0, number=1, type=14, cpp_type=8, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='solution', full_name='operations_research.sat.CpSolverResponse.solution', index=1, number=2, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='objective_value', full_name='operations_research.sat.CpSolverResponse.objective_value', index=2, number=3, type=1, cpp_type=5, label=1, has_default_value=False, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='best_objective_bound', full_name='operations_research.sat.CpSolverResponse.best_objective_bound', index=3, number=4, type=1, cpp_type=5, label=1, has_default_value=False, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='solution_lower_bounds', full_name='operations_research.sat.CpSolverResponse.solution_lower_bounds', index=4, number=18, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='solution_upper_bounds', full_name='operations_research.sat.CpSolverResponse.solution_upper_bounds', index=5, number=19, type=3, cpp_type=2, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='tightened_variables', full_name='operations_research.sat.CpSolverResponse.tightened_variables', index=6, number=21, type=11, cpp_type=10, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='sufficient_assumptions_for_infeasibility', full_name='operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility', index=7, number=23, type=5, cpp_type=1, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='all_solutions_were_found', full_name='operations_research.sat.CpSolverResponse.all_solutions_were_found', index=8, number=5, type=8, cpp_type=7, label=1, has_default_value=False, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='num_booleans', full_name='operations_research.sat.CpSolverResponse.num_booleans', index=9, number=10, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='num_conflicts', full_name='operations_research.sat.CpSolverResponse.num_conflicts', index=10, number=11, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='num_branches', full_name='operations_research.sat.CpSolverResponse.num_branches', index=11, number=12, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='num_binary_propagations', full_name='operations_research.sat.CpSolverResponse.num_binary_propagations', index=12, number=13, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='num_integer_propagations', full_name='operations_research.sat.CpSolverResponse.num_integer_propagations', index=13, number=14, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='num_restarts', full_name='operations_research.sat.CpSolverResponse.num_restarts', index=14, number=24, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='num_lp_iterations', full_name='operations_research.sat.CpSolverResponse.num_lp_iterations', index=15, number=25, type=3, cpp_type=2, label=1, has_default_value=False, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='wall_time', full_name='operations_research.sat.CpSolverResponse.wall_time', index=16, number=15, type=1, cpp_type=5, label=1, has_default_value=False, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='user_time', full_name='operations_research.sat.CpSolverResponse.user_time', index=17, number=16, type=1, cpp_type=5, label=1, has_default_value=False, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='deterministic_time', full_name='operations_research.sat.CpSolverResponse.deterministic_time', index=18, number=17, type=1, cpp_type=5, label=1, has_default_value=False, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='primal_integral', full_name='operations_research.sat.CpSolverResponse.primal_integral', index=19, number=22, type=1, cpp_type=5, label=1, has_default_value=False, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='solution_info', full_name='operations_research.sat.CpSolverResponse.solution_info', index=20, number=20, type=9, cpp_type=9, label=1, has_default_value=False, default_value=b"".decode('utf-8'), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ ], serialized_options=None, is_extendable=False, syntax='proto3', extension_ranges=[], oneofs=[ ], serialized_start=4514, serialized_end=5181, ) _LINEARARGUMENTPROTO.fields_by_name['target'].message_type = _LINEAREXPRESSIONPROTO _LINEARARGUMENTPROTO.fields_by_name['exprs'].message_type = _LINEAREXPRESSIONPROTO _CONSTRAINTPROTO.fields_by_name['bool_or'].message_type = _BOOLARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['bool_and'].message_type = _BOOLARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['at_most_one'].message_type = _BOOLARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['bool_xor'].message_type = _BOOLARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['int_div'].message_type = _INTEGERARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['int_mod'].message_type = _INTEGERARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['int_max'].message_type = _INTEGERARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['lin_max'].message_type = _LINEARARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['int_min'].message_type = _INTEGERARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['lin_min'].message_type = _LINEARARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['int_prod'].message_type = _INTEGERARGUMENTPROTO _CONSTRAINTPROTO.fields_by_name['linear'].message_type = _LINEARCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['all_diff'].message_type = _ALLDIFFERENTCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['element'].message_type = _ELEMENTCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['circuit'].message_type = _CIRCUITCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['routes'].message_type = _ROUTESCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['table'].message_type = _TABLECONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['automaton'].message_type = _AUTOMATONCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['inverse'].message_type = _INVERSECONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['reservoir'].message_type = _RESERVOIRCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['interval'].message_type = _INTERVALCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['no_overlap'].message_type = _NOOVERLAPCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['no_overlap_2d'].message_type = _NOOVERLAP2DCONSTRAINTPROTO _CONSTRAINTPROTO.fields_by_name['cumulative'].message_type = _CUMULATIVECONSTRAINTPROTO _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['bool_or']) _CONSTRAINTPROTO.fields_by_name['bool_or'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['bool_and']) _CONSTRAINTPROTO.fields_by_name['bool_and'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['at_most_one']) _CONSTRAINTPROTO.fields_by_name['at_most_one'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['bool_xor']) _CONSTRAINTPROTO.fields_by_name['bool_xor'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['int_div']) _CONSTRAINTPROTO.fields_by_name['int_div'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['int_mod']) _CONSTRAINTPROTO.fields_by_name['int_mod'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['int_max']) _CONSTRAINTPROTO.fields_by_name['int_max'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['lin_max']) _CONSTRAINTPROTO.fields_by_name['lin_max'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['int_min']) _CONSTRAINTPROTO.fields_by_name['int_min'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['lin_min']) _CONSTRAINTPROTO.fields_by_name['lin_min'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['int_prod']) _CONSTRAINTPROTO.fields_by_name['int_prod'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['linear']) _CONSTRAINTPROTO.fields_by_name['linear'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['all_diff']) _CONSTRAINTPROTO.fields_by_name['all_diff'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['element']) _CONSTRAINTPROTO.fields_by_name['element'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['circuit']) _CONSTRAINTPROTO.fields_by_name['circuit'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['routes']) _CONSTRAINTPROTO.fields_by_name['routes'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['table']) _CONSTRAINTPROTO.fields_by_name['table'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['automaton']) _CONSTRAINTPROTO.fields_by_name['automaton'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['inverse']) _CONSTRAINTPROTO.fields_by_name['inverse'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['reservoir']) _CONSTRAINTPROTO.fields_by_name['reservoir'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['interval']) _CONSTRAINTPROTO.fields_by_name['interval'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['no_overlap']) _CONSTRAINTPROTO.fields_by_name['no_overlap'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['no_overlap_2d']) _CONSTRAINTPROTO.fields_by_name['no_overlap_2d'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _CONSTRAINTPROTO.oneofs_by_name['constraint'].fields.append( _CONSTRAINTPROTO.fields_by_name['cumulative']) _CONSTRAINTPROTO.fields_by_name['cumulative'].containing_oneof = _CONSTRAINTPROTO.oneofs_by_name['constraint'] _DECISIONSTRATEGYPROTO_AFFINETRANSFORMATION.containing_type = _DECISIONSTRATEGYPROTO _DECISIONSTRATEGYPROTO.fields_by_name['variable_selection_strategy'].enum_type = _DECISIONSTRATEGYPROTO_VARIABLESELECTIONSTRATEGY _DECISIONSTRATEGYPROTO.fields_by_name['domain_reduction_strategy'].enum_type = _DECISIONSTRATEGYPROTO_DOMAINREDUCTIONSTRATEGY _DECISIONSTRATEGYPROTO.fields_by_name['transformations'].message_type = _DECISIONSTRATEGYPROTO_AFFINETRANSFORMATION _DECISIONSTRATEGYPROTO_VARIABLESELECTIONSTRATEGY.containing_type = _DECISIONSTRATEGYPROTO _DECISIONSTRATEGYPROTO_DOMAINREDUCTIONSTRATEGY.containing_type = _DECISIONSTRATEGYPROTO _CPMODELPROTO.fields_by_name['variables'].message_type = _INTEGERVARIABLEPROTO _CPMODELPROTO.fields_by_name['constraints'].message_type = _CONSTRAINTPROTO _CPMODELPROTO.fields_by_name['objective'].message_type = _CPOBJECTIVEPROTO _CPMODELPROTO.fields_by_name['search_strategy'].message_type = _DECISIONSTRATEGYPROTO _CPMODELPROTO.fields_by_name['solution_hint'].message_type = _PARTIALVARIABLEASSIGNMENT _CPSOLVERRESPONSE.fields_by_name['status'].enum_type = _CPSOLVERSTATUS _CPSOLVERRESPONSE.fields_by_name['tightened_variables'].message_type = _INTEGERVARIABLEPROTO DESCRIPTOR.message_types_by_name['IntegerVariableProto'] = _INTEGERVARIABLEPROTO DESCRIPTOR.message_types_by_name['BoolArgumentProto'] = _BOOLARGUMENTPROTO DESCRIPTOR.message_types_by_name['IntegerArgumentProto'] = _INTEGERARGUMENTPROTO DESCRIPTOR.message_types_by_name['LinearExpressionProto'] = _LINEAREXPRESSIONPROTO DESCRIPTOR.message_types_by_name['LinearArgumentProto'] = _LINEARARGUMENTPROTO DESCRIPTOR.message_types_by_name['AllDifferentConstraintProto'] = _ALLDIFFERENTCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['LinearConstraintProto'] = _LINEARCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['ElementConstraintProto'] = _ELEMENTCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['IntervalConstraintProto'] = _INTERVALCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['NoOverlapConstraintProto'] = _NOOVERLAPCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['NoOverlap2DConstraintProto'] = _NOOVERLAP2DCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['CumulativeConstraintProto'] = _CUMULATIVECONSTRAINTPROTO DESCRIPTOR.message_types_by_name['ReservoirConstraintProto'] = _RESERVOIRCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['CircuitConstraintProto'] = _CIRCUITCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['RoutesConstraintProto'] = _ROUTESCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['TableConstraintProto'] = _TABLECONSTRAINTPROTO DESCRIPTOR.message_types_by_name['InverseConstraintProto'] = _INVERSECONSTRAINTPROTO DESCRIPTOR.message_types_by_name['AutomatonConstraintProto'] = _AUTOMATONCONSTRAINTPROTO DESCRIPTOR.message_types_by_name['ConstraintProto'] = _CONSTRAINTPROTO DESCRIPTOR.message_types_by_name['CpObjectiveProto'] = _CPOBJECTIVEPROTO DESCRIPTOR.message_types_by_name['DecisionStrategyProto'] = _DECISIONSTRATEGYPROTO DESCRIPTOR.message_types_by_name['PartialVariableAssignment'] = _PARTIALVARIABLEASSIGNMENT DESCRIPTOR.message_types_by_name['CpModelProto'] = _CPMODELPROTO DESCRIPTOR.message_types_by_name['CpSolverResponse'] = _CPSOLVERRESPONSE DESCRIPTOR.enum_types_by_name['CpSolverStatus'] = _CPSOLVERSTATUS _sym_db.RegisterFileDescriptor(DESCRIPTOR) IntegerVariableProto = _reflection.GeneratedProtocolMessageType('IntegerVariableProto', (_message.Message,), { 'DESCRIPTOR' : _INTEGERVARIABLEPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.IntegerVariableProto) }) _sym_db.RegisterMessage(IntegerVariableProto) BoolArgumentProto = _reflection.GeneratedProtocolMessageType('BoolArgumentProto', (_message.Message,), { 'DESCRIPTOR' : _BOOLARGUMENTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.BoolArgumentProto) }) _sym_db.RegisterMessage(BoolArgumentProto) IntegerArgumentProto = _reflection.GeneratedProtocolMessageType('IntegerArgumentProto', (_message.Message,), { 'DESCRIPTOR' : _INTEGERARGUMENTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.IntegerArgumentProto) }) _sym_db.RegisterMessage(IntegerArgumentProto) LinearExpressionProto = _reflection.GeneratedProtocolMessageType('LinearExpressionProto', (_message.Message,), { 'DESCRIPTOR' : _LINEAREXPRESSIONPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.LinearExpressionProto) }) _sym_db.RegisterMessage(LinearExpressionProto) LinearArgumentProto = _reflection.GeneratedProtocolMessageType('LinearArgumentProto', (_message.Message,), { 'DESCRIPTOR' : _LINEARARGUMENTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.LinearArgumentProto) }) _sym_db.RegisterMessage(LinearArgumentProto) AllDifferentConstraintProto = _reflection.GeneratedProtocolMessageType('AllDifferentConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _ALLDIFFERENTCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.AllDifferentConstraintProto) }) _sym_db.RegisterMessage(AllDifferentConstraintProto) LinearConstraintProto = _reflection.GeneratedProtocolMessageType('LinearConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _LINEARCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.LinearConstraintProto) }) _sym_db.RegisterMessage(LinearConstraintProto) ElementConstraintProto = _reflection.GeneratedProtocolMessageType('ElementConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _ELEMENTCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.ElementConstraintProto) }) _sym_db.RegisterMessage(ElementConstraintProto) IntervalConstraintProto = _reflection.GeneratedProtocolMessageType('IntervalConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _INTERVALCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.IntervalConstraintProto) }) _sym_db.RegisterMessage(IntervalConstraintProto) NoOverlapConstraintProto = _reflection.GeneratedProtocolMessageType('NoOverlapConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _NOOVERLAPCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.NoOverlapConstraintProto) }) _sym_db.RegisterMessage(NoOverlapConstraintProto) NoOverlap2DConstraintProto = _reflection.GeneratedProtocolMessageType('NoOverlap2DConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _NOOVERLAP2DCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.NoOverlap2DConstraintProto) }) _sym_db.RegisterMessage(NoOverlap2DConstraintProto) CumulativeConstraintProto = _reflection.GeneratedProtocolMessageType('CumulativeConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _CUMULATIVECONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.CumulativeConstraintProto) }) _sym_db.RegisterMessage(CumulativeConstraintProto) ReservoirConstraintProto = _reflection.GeneratedProtocolMessageType('ReservoirConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _RESERVOIRCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.ReservoirConstraintProto) }) _sym_db.RegisterMessage(ReservoirConstraintProto) CircuitConstraintProto = _reflection.GeneratedProtocolMessageType('CircuitConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _CIRCUITCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.CircuitConstraintProto) }) _sym_db.RegisterMessage(CircuitConstraintProto) RoutesConstraintProto = _reflection.GeneratedProtocolMessageType('RoutesConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _ROUTESCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.RoutesConstraintProto) }) _sym_db.RegisterMessage(RoutesConstraintProto) TableConstraintProto = _reflection.GeneratedProtocolMessageType('TableConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _TABLECONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.TableConstraintProto) }) _sym_db.RegisterMessage(TableConstraintProto) InverseConstraintProto = _reflection.GeneratedProtocolMessageType('InverseConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _INVERSECONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.InverseConstraintProto) }) _sym_db.RegisterMessage(InverseConstraintProto) AutomatonConstraintProto = _reflection.GeneratedProtocolMessageType('AutomatonConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _AUTOMATONCONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.AutomatonConstraintProto) }) _sym_db.RegisterMessage(AutomatonConstraintProto) ConstraintProto = _reflection.GeneratedProtocolMessageType('ConstraintProto', (_message.Message,), { 'DESCRIPTOR' : _CONSTRAINTPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.ConstraintProto) }) _sym_db.RegisterMessage(ConstraintProto) CpObjectiveProto = _reflection.GeneratedProtocolMessageType('CpObjectiveProto', (_message.Message,), { 'DESCRIPTOR' : _CPOBJECTIVEPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.CpObjectiveProto) }) _sym_db.RegisterMessage(CpObjectiveProto) DecisionStrategyProto = _reflection.GeneratedProtocolMessageType('DecisionStrategyProto', (_message.Message,), { 'AffineTransformation' : _reflection.GeneratedProtocolMessageType('AffineTransformation', (_message.Message,), { 'DESCRIPTOR' : _DECISIONSTRATEGYPROTO_AFFINETRANSFORMATION, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.DecisionStrategyProto.AffineTransformation) }) , 'DESCRIPTOR' : _DECISIONSTRATEGYPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.DecisionStrategyProto) }) _sym_db.RegisterMessage(DecisionStrategyProto) _sym_db.RegisterMessage(DecisionStrategyProto.AffineTransformation) PartialVariableAssignment = _reflection.GeneratedProtocolMessageType('PartialVariableAssignment', (_message.Message,), { 'DESCRIPTOR' : _PARTIALVARIABLEASSIGNMENT, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.PartialVariableAssignment) }) _sym_db.RegisterMessage(PartialVariableAssignment) CpModelProto = _reflection.GeneratedProtocolMessageType('CpModelProto', (_message.Message,), { 'DESCRIPTOR' : _CPMODELPROTO, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.CpModelProto) }) _sym_db.RegisterMessage(CpModelProto) CpSolverResponse = _reflection.GeneratedProtocolMessageType('CpSolverResponse', (_message.Message,), { 'DESCRIPTOR' : _CPSOLVERRESPONSE, '__module__' : 'ortools.sat.cp_model_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.CpSolverResponse) }) _sym_db.RegisterMessage(CpSolverResponse) DESCRIPTOR._options = None # @@protoc_insertion_point(module_scope)