[FEATURE] Translate \E x \in STRING: P
and \A x \in STRING: P
#844
Labels
feature
A new feature or functionality
FSMT
Feature: Improvements in the SMT encoding
help wanted
product-owner-triage
This should be triaged by the product owner
Milestone
It should be quite easy to translate
Skolem(\E x \in STRING: P)
by introducing an uninterpreted constant. In the more general case, we can use SMT quantifier, which should work reasonably well with uninterpreted constants.The text was updated successfully, but these errors were encountered: