How to use the ortools.sat.python.cp_model.CpSolverSolutionCallback.__init__ function in ortools

To help you get started, we’ve selected a few ortools examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

github ankane / or-tools / test / support / wedding.py View on Github external
def __init__(self, seats, names, num_tables, num_guests):
        cp_model.CpSolverSolutionCallback.__init__(self)
        self.__solution_count = 0
        self.__start_time = time.time()
        self.__seats = seats
        self.__names = names
        self.__num_tables = num_tables
        self.__num_guests = num_guests
github google / or-tools / examples / python / school_scheduling_sat.py View on Github external
def __init__(self):
    cp_model.CpSolverSolutionCallback.__init__(self)
    self.__solution_count = 0
github google / or-tools / examples / contrib / school_scheduling_sat.py View on Github external
def __init__(self):
    cp_model.CpSolverSolutionCallback.__init__(self)
    self.__solution_count = 0
github google / or-tools / examples / python / flexible_job_shop_sat.py View on Github external
def __init__(self):
        cp_model.CpSolverSolutionCallback.__init__(self)
        self.__solution_count = 0
github google / or-tools / examples / python / nqueens_sat.py View on Github external
def __init__(self, queens):
        cp_model.CpSolverSolutionCallback.__init__(self)
        self.__queens = queens
        self.__solution_count = 0
        self.__start_time = time.time()
github google / or-tools / examples / python / steel_mill_slab_sat.py View on Github external
def __init__(self, orders, assign, load, loss):
        cp_model.CpSolverSolutionCallback.__init__(self)
        self.__orders = orders
        self.__assign = assign
        self.__load = load
        self.__loss = loss
        self.__solution_count = 0
        self.__all_orders = range(len(orders))
        self.__all_slabs = range(len(assign[0]))
        self.__start_time = time.time()
github google / or-tools / examples / python / appointments.py View on Github external
def __init__(self, variables):
        cp_model.CpSolverSolutionCallback.__init__(self)
        self.__variables = variables
        self.__collect = []
github google / or-tools / ortools / sat / samples / step_function_sample_sat.py View on Github external
def __init__(self, variables):
        cp_model.CpSolverSolutionCallback.__init__(self)
        self.__variables = variables
        self.__solution_count = 0
github google / or-tools / ortools / sat / samples / solve_and_print_intermediate_solutions_sample_sat.py View on Github external
def __init__(self, variables):
        cp_model.CpSolverSolutionCallback.__init__(self)
        self.__variables = variables
        self.__solution_count = 0
github google / or-tools / examples / python / scheduling_with_transitions_sat.py View on Github external
def __init__(self, makespan):
    cp_model.CpSolverSolutionCallback.__init__(self)
    self.__solution_count = 0
    self.__makespan = makespan