- changed status to resolved
Calculating part of a definition
Issue #385
resolved
For the ASP comp system track, need stratification of a definition by checking in the dependency graph which symbols can be calculated in advance.
Comments (1)
-
- Log in to comment
Seems to be fixed with the new splitdefinitions bootstrapping utility