16 Jun
2009
16 Jun
'09
3:43 p.m.
The name ScoreState seems to confuse a few people. As Hao pointed out, they are actually constraints. Any reasons not to rename them to that? It would be a relatively easy shell script (and user code could be updated via sed).