discrete_optimization.generic_tasks_tools.solvers package

Subpackages

• discrete_optimization.generic_tasks_tools.solvers.cpsat package
  • Submodules
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.allocation module
    • AllocationBinaryOrIntegerModellingCpSatSolver
      • AllocationBinaryOrIntegerModellingCpSatSolver.add_allocation_changes_constraints()
      • AllocationBinaryOrIntegerModellingCpSatSolver.add_constraint_on_task_unary_resource_allocation()
      • AllocationBinaryOrIntegerModellingCpSatSolver.allocation_modelling
      • AllocationBinaryOrIntegerModellingCpSatSolver.get_binary_allocation_variable()
      • AllocationBinaryOrIntegerModellingCpSatSolver.get_integer_allocation_variable()
      • AllocationBinaryOrIntegerModellingCpSatSolver.get_task_allocation_variable()
      • AllocationBinaryOrIntegerModellingCpSatSolver.get_task_unary_resource_is_present_variable()
    • AllocationCpSatSolver
      • AllocationCpSatSolver.add_allocation_changes_constraints()
      • AllocationCpSatSolver.add_at_most_one_unary_resource_per_task_constraints()
      • AllocationCpSatSolver.add_constraint_nb_unary_resource_usages()
      • AllocationCpSatSolver.add_constraint_on_nb_allocation_changes()
      • AllocationCpSatSolver.add_constraint_on_task_unary_resource_allocation()
      • AllocationCpSatSolver.add_constraint_on_total_nb_usages()
      • AllocationCpSatSolver.add_constraint_on_unary_resource_nb_usages()
      • AllocationCpSatSolver.allocation_changes_variables
      • AllocationCpSatSolver.allocation_changes_variables_created
      • AllocationCpSatSolver.at_most_one_unary_resource_per_task
      • AllocationCpSatSolver.at_most_one_unary_resource_per_task_constraints_added
      • AllocationCpSatSolver.create_allocation_changes_variables()
      • AllocationCpSatSolver.create_done_variables()
      • AllocationCpSatSolver.create_used_variables()
      • AllocationCpSatSolver.done_variables
      • AllocationCpSatSolver.done_variables_created
      • AllocationCpSatSolver.get_default_tasks_n_unary_resources()
      • AllocationCpSatSolver.get_nb_tasks_done_variable()
      • AllocationCpSatSolver.get_nb_unary_resources_used_variable()
      • AllocationCpSatSolver.get_task_unary_resource_is_present_variable()
      • AllocationCpSatSolver.init_model()
      • AllocationCpSatSolver.subset_tasks_of_interest
      • AllocationCpSatSolver.subset_unaryresources_allowed
      • AllocationCpSatSolver.used_variables
      • AllocationCpSatSolver.used_variables_created
    • AllocationIntegerModellingCpSatSolver
      • AllocationIntegerModellingCpSatSolver.add_allocation_changes_constraints()
      • AllocationIntegerModellingCpSatSolver.add_constraint_on_task_unary_resource_allocation()
      • AllocationIntegerModellingCpSatSolver.create_is_present_variables()
      • AllocationIntegerModellingCpSatSolver.get_task_allocation_variable()
      • AllocationIntegerModellingCpSatSolver.get_task_unary_resource_is_present_variable()
      • AllocationIntegerModellingCpSatSolver.init_model()
      • AllocationIntegerModellingCpSatSolver.is_present_variables
      • AllocationIntegerModellingCpSatSolver.is_present_variables_created
    • AllocationModelling
      • AllocationModelling.BINARY
      • AllocationModelling.INTEGER
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.auto module
    • GenericSchedulingAutoCpSatSolver
      • GenericSchedulingAutoCpSatSolver.all_used_variables
      • GenericSchedulingAutoCpSatSolver.all_used_variables_created
      • GenericSchedulingAutoCpSatSolver.allocation_intervals
      • GenericSchedulingAutoCpSatSolver.allocation_is_present
      • GenericSchedulingAutoCpSatSolver.check_resources_lists()
      • GenericSchedulingAutoCpSatSolver.convert_task_variables_to_solution()
      • GenericSchedulingAutoCpSatSolver.duplicate_start_var_per_mode
      • GenericSchedulingAutoCpSatSolver.duration_variables
      • GenericSchedulingAutoCpSatSolver.exactly_one_unary_resource_per_task
      • GenericSchedulingAutoCpSatSolver.get_aggregated_resources_consumptions_variable()
      • GenericSchedulingAutoCpSatSolver.get_nb_resources_used_variable()
      • GenericSchedulingAutoCpSatSolver.get_task_mode_interval()
      • GenericSchedulingAutoCpSatSolver.get_task_mode_is_present_variable()
      • GenericSchedulingAutoCpSatSolver.get_task_start_or_end_lower_bound()
      • GenericSchedulingAutoCpSatSolver.get_task_start_or_end_upper_bound()
      • GenericSchedulingAutoCpSatSolver.get_task_start_or_end_variable()
      • GenericSchedulingAutoCpSatSolver.get_task_unary_resource_interval()
      • GenericSchedulingAutoCpSatSolver.get_task_unary_resource_is_present_variable()
      • GenericSchedulingAutoCpSatSolver.include_constraint_on_cumulative_resource()
      • GenericSchedulingAutoCpSatSolver.init_model()
      • GenericSchedulingAutoCpSatSolver.modes_intervals
      • GenericSchedulingAutoCpSatSolver.modes_is_present
      • GenericSchedulingAutoCpSatSolver.modes_start_variables
      • GenericSchedulingAutoCpSatSolver.needs_duration_variables
      • GenericSchedulingAutoCpSatSolver.needs_task_interval
      • GenericSchedulingAutoCpSatSolver.objective
      • GenericSchedulingAutoCpSatSolver.objective_resource_weights
      • GenericSchedulingAutoCpSatSolver.resource_consumption_variables
      • GenericSchedulingAutoCpSatSolver.resource_consumption_variables_created
      • GenericSchedulingAutoCpSatSolver.retrieve_solution()
      • GenericSchedulingAutoCpSatSolver.retrieve_tasks_variables()
      • GenericSchedulingAutoCpSatSolver.set_warm_start()
      • GenericSchedulingAutoCpSatSolver.start_or_end_variables
      • GenericSchedulingAutoCpSatSolver.task_interval_variables
    • Objective
      • Objective.CUSTOM
      • Objective.MAKESPAN
      • Objective.NB_RESOURCES_USED
      • Objective.NB_TASKS_DONE
      • Objective.NB_UNARY_RESOURCES_USED
      • Objective.RESOURCES_CONSUMPTION
    • SinglemodeGenericSchedulingAutoCpSatSolver
      • SinglemodeGenericSchedulingAutoCpSatSolver.get_task_interval()
      • SinglemodeGenericSchedulingAutoCpSatSolver.problem
    • TaskVariable
      • TaskVariable.allocated
      • TaskVariable.end
      • TaskVariable.info
      • TaskVariable.mode
      • TaskVariable.start
    • TemporarySolution
      • TemporarySolution.metadata
      • TemporarySolution.task_variables
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.calendar_resource module
    • CalendarResourceCpSatSolver
      • CalendarResourceCpSatSolver.create_calendar_resources_constraint()
      • CalendarResourceCpSatSolver.get_resource_consumption_intervals()
      • CalendarResourceCpSatSolver.problem
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.cumulative_resource module
    • CumulativeResourceSchedulingCpSatSolver
      • CumulativeResourceSchedulingCpSatSolver.get_resource_consumption_intervals()
      • CumulativeResourceSchedulingCpSatSolver.problem
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.generic_scheduling module
    • GenericSchedulingCpSatSolver
      • GenericSchedulingCpSatSolver.get_resource_consumption_intervals()
      • GenericSchedulingCpSatSolver.get_task_unary_resource_interval()
      • GenericSchedulingCpSatSolver.problem
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.multimode module
    • MultimodeCpSatSolver
      • MultimodeCpSatSolver.add_constraint_on_task_mode()
      • MultimodeCpSatSolver.get_task_mode_is_present_variable()
    • SinglemodeCpSatSolver
      • SinglemodeCpSatSolver.get_task_mode_is_present_variable()
      • SinglemodeCpSatSolver.problem
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.multimode_scheduling module
    • MultimodeSchedulingCpSatSolver
      • MultimodeSchedulingCpSatSolver.get_task_mode_interval()
      • MultimodeSchedulingCpSatSolver.problem
    • SinglemodeSchedulingCpSatSolver
      • SinglemodeSchedulingCpSatSolver.get_task_interval()
      • SinglemodeSchedulingCpSatSolver.get_task_mode_interval()
      • SinglemodeSchedulingCpSatSolver.problem
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.non_renewable_resource module
    • NonRenewableCpSatSolver
      • NonRenewableCpSatSolver.create_non_renewable_resources_constraint()
      • NonRenewableCpSatSolver.problem
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.precedence_scheduling module
    • PrecedenceSchedulingCpSatSolver
      • PrecedenceSchedulingCpSatSolver.create_precedence_constraints()
      • PrecedenceSchedulingCpSatSolver.problem
  • discrete_optimization.generic_tasks_tools.solvers.cpsat.scheduling module
    • SchedulingCpSatSolver
      • SchedulingCpSatSolver.add_constraint_chaining_tasks()
      • SchedulingCpSatSolver.add_constraint_on_task()
      • SchedulingCpSatSolver.constraints_on_makespan
      • SchedulingCpSatSolver.get_global_makespan_variable()
      • SchedulingCpSatSolver.get_subtasks_makespan_variable()
      • SchedulingCpSatSolver.get_subtasks_sum_end_time_variable()
      • SchedulingCpSatSolver.get_subtasks_sum_start_time_variable()
      • SchedulingCpSatSolver.get_task_start_or_end_variable()
      • SchedulingCpSatSolver.init_model()
      • SchedulingCpSatSolver.remove_constraints_on_objective()
  • Module contents
• discrete_optimization.generic_tasks_tools.solvers.lns_cp package
  • Submodules
  • discrete_optimization.generic_tasks_tools.solvers.lns_cp.constraint_extractor module
    • BaseConstraintExtractor
      • BaseConstraintExtractor.add_constraints()
    • ChainingConstraintExtractor
      • ChainingConstraintExtractor.add_constraints()
    • ConstraintExtractorList
      • ConstraintExtractorList.add_constraints()
    • ConstraintExtractorPortfolio
      • ConstraintExtractorPortfolio.add_constraints()
    • DummyConstraintExtractor
      • DummyConstraintExtractor.add_constraints()
    • MultimodeConstraintExtractor
      • MultimodeConstraintExtractor.add_constraints()
    • NbChangesAllocationConstraintExtractor
      • NbChangesAllocationConstraintExtractor.add_constraints()
    • NbUsagesAllocationConstraintExtractor
      • NbUsagesAllocationConstraintExtractor.add_constraints()
    • ParamsConstraintExtractor
      • ParamsConstraintExtractor.hyperparameters
    • SchedulingConstraintExtractor
      • SchedulingConstraintExtractor.add_constraints()
    • SubresourcesAllocationConstraintExtractor
      • SubresourcesAllocationConstraintExtractor.add_constraints()
    • SubtasksAllocationConstraintExtractor
      • SubtasksAllocationConstraintExtractor.add_constraints()
    • build_default_constraint_extractor()
  • discrete_optimization.generic_tasks_tools.solvers.lns_cp.constraint_handler module
    • ObjectiveSubproblem
      • ObjectiveSubproblem.GLOBAL_MAKESPAN
      • ObjectiveSubproblem.INITIAL_OBJECTIVE
      • ObjectiveSubproblem.MAKESPAN_SUBTASKS
      • ObjectiveSubproblem.NB_TASKS_DONE
      • ObjectiveSubproblem.NB_UNARY_RESOURCES_USED
      • ObjectiveSubproblem.SUM_END_SUBTASKS
      • ObjectiveSubproblem.SUM_START_SUBTASKS
    • TasksConstraintHandler
      • TasksConstraintHandler.adding_constraint_from_results_store()
  • discrete_optimization.generic_tasks_tools.solvers.lns_cp.neighbor_tools module
    • NeighborBuilder
      • NeighborBuilder.find_subtasks()
      • NeighborBuilder.problem
    • NeighborBuilderAll
      • NeighborBuilderAll.find_subtasks()
    • NeighborBuilderMix
      • NeighborBuilderMix.find_subtasks()
      • NeighborBuilderMix.weight_neighbor
    • NeighborBuilderSubPart
      • NeighborBuilderSubPart.find_subtasks()
    • NeighborBuilderTaskThresholdTime
      • NeighborBuilderTaskThresholdTime.find_subtasks()
    • NeighborBuilderTimeWindow
      • NeighborBuilderTimeWindow.find_subtasks()
    • NeighborRandom
      • NeighborRandom.find_subtasks()
    • NeighborRandomAndNeighborGraph
      • NeighborRandomAndNeighborGraph.find_subtasks()
    • build_default_neighbor_builder()
    • intersect()
  • Module contents
• discrete_optimization.generic_tasks_tools.solvers.optalcp package
  • Submodules
  • discrete_optimization.generic_tasks_tools.solvers.optalcp.allocation module
    • AllocationOptalSolver
      • AllocationOptalSolver.add_allocation_changes_constraints()
      • AllocationOptalSolver.add_constraint_nb_unary_resource_usages()
      • AllocationOptalSolver.add_constraint_on_nb_allocation_changes()
      • AllocationOptalSolver.add_constraint_on_task_unary_resource_allocation()
      • AllocationOptalSolver.add_constraint_on_total_nb_usages()
      • AllocationOptalSolver.add_constraint_on_unary_resource_nb_usages()
      • AllocationOptalSolver.allocation_changes_variables
      • AllocationOptalSolver.allocation_changes_variables_created
      • AllocationOptalSolver.at_most_one_unary_resource_per_task
      • AllocationOptalSolver.create_allocation_changes_variables()
      • AllocationOptalSolver.create_done_variables()
      • AllocationOptalSolver.create_used_variables()
      • AllocationOptalSolver.done_variables
      • AllocationOptalSolver.done_variables_created
      • AllocationOptalSolver.get_default_tasks_n_unary_resources()
      • AllocationOptalSolver.get_nb_tasks_done_variable()
      • AllocationOptalSolver.get_nb_unary_resources_used_variable()
      • AllocationOptalSolver.get_task_unary_resource_is_present_variable()
      • AllocationOptalSolver.init_model()
      • AllocationOptalSolver.subset_tasks_of_interest
      • AllocationOptalSolver.subset_unaryresources_allowed
      • AllocationOptalSolver.used_variables
      • AllocationOptalSolver.used_variables_created
  • discrete_optimization.generic_tasks_tools.solvers.optalcp.multimode module
    • MultimodeOptalSolver
      • MultimodeOptalSolver.add_constraint_on_task_mode()
      • MultimodeOptalSolver.get_task_mode_is_present_variable()
  • discrete_optimization.generic_tasks_tools.solvers.optalcp.scheduling module
    • SchedulingOptalSolver
      • SchedulingOptalSolver.add_constraint_chaining_tasks()
      • SchedulingOptalSolver.add_constraint_on_task()
      • SchedulingOptalSolver.get_subtasks_makespan_variable()
      • SchedulingOptalSolver.get_subtasks_sum_end_time_variable()
      • SchedulingOptalSolver.get_subtasks_sum_start_time_variable()
      • SchedulingOptalSolver.get_task_interval_variable()
      • SchedulingOptalSolver.get_task_start_or_end_variable()
  • Module contents

Submodules

discrete_optimization.generic_tasks_tools.solvers.utils module

discrete_optimization.generic_tasks_tools.solvers.utils.is_a_trivial_zero(var: Any) → bool

Return whether the (cpsat, optalcp, …) variable is actually a plain 0 integer.

For instance, tells if is_present variables are real variables or not to avoid including them in sum, max, …

Module contents