Closed alalazo closed 3 years ago
Modifications:
@tgamblin @becker33 I started writing a draft for the changes due to clingo. Can't list you as reviewers because I lack permissions in this repo, so pinging you in a comment.
Modifications: