Change addConsNode to (also) accept ExprCons#418

Merged

CGraczyk merged 4 commits intoscipopt:addConsLocalfrom

CharJon:extend-addConsNode

Mar 18, 2021

Commits on Aug 24, 2020

Prototype for addition of addExprConsNode to add ExprCons to Nodes.
CharJon
committed

Commits on Aug 25, 2020