chiark / gitweb /
add set_max_objective to automate the sign flip for maximization