use max_weight_to_satisfy instead of deprecated max_satisfaction_weight - #647
Closed
RCasatta wants to merge 1 commit into
Closed
use max_weight_to_satisfy instead of deprecated max_satisfaction_weight#647RCasatta wants to merge 1 commit into
RCasatta wants to merge 1 commit into