Open lorenzleutgeb opened 2 years ago
See https://github.com/alpha-asp/Alpha/pull/341#discussion_r925461760
See https://github.com/alpha-asp/Alpha/pull/341#discussion_r925461760