Generate SMT-LIB compatible strings

[shaobo-he-aws]

Category

Other

Describe the feature you'd like to request

#759 is a workaround of the issue that SMT-LIB compatible characters is a subset of those supported by Cedar. We should ideally change the generator instead of filtering the results.

Describe alternatives you've considered

N/A

Additional context

No response

Is this something that you'd be interested in working on?

• 👋 I may be able to implement this feature request
• ⚠️ This feature might incur a breaking change