[rules] [strings] Add support for `concat_lprop` rule

ufmg-smite / carcara

Apache License 2.0

33 stars 11 forks source link

[rules] [strings] Add support for `concat_lprop` rule #39

Closed vinisilvag closed 6 months ago

vinisilvag commented 6 months ago

This PR adds the concat_lprop rule from the Strings theory. Rule reference can be found in the cvc5 documentation (at the time of writing this PR, the rule still hasn't been updated to align with its definition in AletheLF) and in the AletheLF specification.