2 lines
65 B
Plaintext
2 lines
65 B
Plaintext
|
|
RUN: $(shift_scheduling_sat_py3) --params=max_time_in_seconds:10
|