This removes the CSP related types from NonFactVisitor.ERROR_AST and
uses Guard instead of AggregateGuard for newer clingo versions. I
decided to simply remove the CSP types because this is kind of a hidden
feature that has never been advertised or stable.
daveraja
commented
2 years ago
This removes the CSP related types from NonFactVisitor.ERROR_AST and uses Guard instead of AggregateGuard for newer clingo versions. I decided to simply remove the CSP types because this is kind of a hidden feature that has never been advertised or stable.