
Fix syntax of conflict between numpy 1.21.0 and gcc11 to that the clingo concretizer recognizes it. In addition the upstream master branch was renamed to main.
Fix syntax of conflict between numpy 1.21.0 and gcc11 to that the clingo concretizer recognizes it. In addition the upstream master branch was renamed to main.