Z3/Z3Clarifications

Z3 Clarifications

• << Z3 Home
• Z3 Language Documentation

List clarifications required on Z3

How do we get a subset of a string value without using loop

Ans:
word = "CORPORATION";
vowels ="AEIOU";
vowelsarray=vowels.split("");
wordletterswithoutvowels=word.split("").filter((x)=>!x.isin(vowelsarray)); 
OR
IsNotAVowel:=!x.isin(vowelsarray);
word.split("").filter(IsNotAVowel);
OR
IsNotAVowel:=!x.isin("AEIOU".split(""));
word.split("").filter(IsNotAVowel);
Result => CRPRTN