re.allchar from Java? #1944
Description
Are there bindings to use mk_full_char/re.allchar from within Java? I don't see anything that looks related on com.microsoft.z3.Context.
{{ message }}
Are there bindings to use mk_full_char/re.allchar from within Java? I don't see anything that looks related on com.microsoft.z3.Context.