Closed daveraja closed 2 years ago
There is at least one issue preventing clorm from working with Clingo 5.6.
Clingo 5.6 makes some changes to the AST, so this is throwing an exception a missing CspProduct attribute exception in the clorm unit tests. There may be other problems.
Thanks to @rkaminsk for taking care of this with PR #111
There is at least one issue preventing clorm from working with Clingo 5.6.
Clingo 5.6 makes some changes to the AST, so this is throwing an exception a missing CspProduct attribute exception in the clorm unit tests. There may be other problems.