[tc] attribute parser for the creation of elpi predicates for tc#709
Open
FissoreD wants to merge 1 commit intoLPCIC:masterfrom
Open
[tc] attribute parser for the creation of elpi predicates for tc#709FissoreD wants to merge 1 commit intoLPCIC:masterfrom
FissoreD wants to merge 1 commit intoLPCIC:masterfrom
