Closed chekmanh closed 6 months ago
Setting subsolvers got the following error message:
Traceback (most recent call last): File "/Users/chek-manh/Documents/code/python/cp_sat.py", line 44, in <module> SimpleSatProgram() File "/Users/chek-manh/Documents/code/python/cp_sat.py", line 34, in SimpleSatProgram solver.parameters.subsolvers = ["default_lp", "fixed", "less_encoding", "no_lp", "max_lp", "pseudo_costs", "reduced_cos ts", "quick_restart", "quick_restart_no_lp", "lb_tree_search", "probing"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ AttributeError: Assignment not allowed to message, map, or repeated field "subsolvers" in protocol message object.
This can be avoided by using the extend function.
Thanks!
Setting subsolvers got the following error message:
This can be avoided by using the extend function.