always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cleanup steel_mill_slab_sat

Browse Source
This commit is contained in:
Laurent Perron
2017-10-27 17:06:01 +02:00
parent fed190b30a
commit b938134fa1
1 changed files with 11 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
examples/python/steel_mill_slab_sat.py
View File

@@ -11,9 +11,9 @@ parser.add_argument('--problem', default = 2, type = int,
help = 'Problem id to solve.')
parser.add_argument('--break_symmetries', default = True, type = bool,
help = 'Break symmetries between equivalent orders.')
parser.add_argument('--precompute_valid_slabs', default = True, type = bool,
help = 'Use a column generation like model with valid '
'slabs.')
parser.add_argument(
'--solver', default = "mip_column",
help = 'Method used to solve: sat, sat_table, sat_column, mip_column.')
def BuildProblem(problem_id):
@@ -747,10 +747,14 @@ def SteelMillSlabWithMipColumnGeneration(problem):
def main(args):
# if args.precompute_valid_slabs:
# SteelMillSlabWithValidSlabs(args.problem, args.break_symmetries)
# else:
SteelMillSlabWithMipColumnGeneration(args.problem)
if args.solver == 'sat':
SteelMillSlab(args.problem, args.break_symmetries)
elif args.solver == 'sat_table':
SteelMillSlabWithValidSlabs(args.problem, args.break_symmetries)
elif args.solver == 'sat_column':
SteelMillSlabWithColumnGeneration(args.problem)
else: # 'mip_column'
SteelMillSlabWithMipColumnGeneration(args.problem)
if __name__ == '__main__':