conversion_2_with_partial_cargo_operations.mzn 33 KB