aboutsummaryrefslogtreecommitdiff
path: root/source/sat/formula
ModeNameSize
d---------source60logplain