is there an implementation available in the high level api for string variables/sorts in typescript?

Z3Prover / z3

The Z3 Theorem Prover

Other

9.96k stars 1.46k forks source link

is there an implementation available in the high level api for string variables/sorts in typescript? #7242

Closed uwesimm closed 1 month ago

uwesimm commented 1 month ago

hi,

can you point me to information/implementation howto support string variables in typescript similar to the Int,Real etc types? a sketch would do and helpful

/uwe