--solver=highs --cost=max-builds=N

For the "counting cost" setting, use iterative approximation to the solution of the integer problem: - https://docs.scipy.org/doc/scipy/reference/generated/scipy.optimize.milp.html - https://github.com/ERGO-Code/HiGHS/blob/0095d61a2e37df88cc8616b374350c5be260e862/examples/call_highs_from_c.c#L287