run tests in examples/python under bazel; sync/clean examples

This commit is contained in:
Laurent Perron
2023-01-26 13:46:40 +01:00
parent 49a72a8d67
commit f460e9b0fc
11 changed files with 201 additions and 47 deletions

View File

@@ -30,10 +30,9 @@ from ortools.sat.python import cp_model
_OUTPUT_PROTO = flags.DEFINE_string(
'output_proto', '', 'Output file to write the cp_model proto to.')
_PARAMS = flags.DEFINE_string(
'params',
'num_search_workers:16,log_search_progress:true,max_time_in_seconds:10.0',
'Sat solver parameters.')
_PARAMS = flags.DEFINE_string('params',
'num_search_workers:16,log_search_progress:true',
'Sat solver parameters.')
_MODEL = flags.DEFINE_string('model', 'rotation',
'\'duplicate\' or \'rotation\' or \'optional\'')