cnfgen icon indicating copy to clipboard operation
cnfgen copied to clipboard

Published 20 hours ago • verified publisher icon MassimoLauria

Support an objective in OPB formulas

Open marcvinyals opened this issue 5 months ago • 0 comments

Implements the changes suggested in #113. OPB instances have another member _objective which is just a list of pairs (coefficient, literal).

marcvinyals avatar Sep 17 '24 05:09 marcvinyals