Comment
Comment
Reorder arguments in OnSuffix/AddSuffix for consistency with other methods
Add Problem class
num_cons -> num_algebraic_cons
Get rid of SuffixData
Implement Problem::AddSuffix
Add SuffixManager