aboutsummaryrefslogtreecommitdiff
path: root/source/sat/nlpsolver/help
ModeNameSize
d---------en63logplain