Skip to content
Back to pull request #709

[tc] attribute parser for the creation of elpi predicates for tc #338

Sign in to view logs

[tc] attribute parser for the creation of elpi predicates for tc

[tc] attribute parser for the creation of elpi predicates for tc #338

This job was skipped