5
Z3'te, String ve Sekansı destekler. Ama Z3py onları da destekliyor mu, yoksa Python'dan dize veya liste kullanmalı mıyız? En son sürümden, yeni sürümün String ve Dizi teorilerini desteklediği görülüyordu, fakat nasıl kullanacağımı bilmiyorum. Birisi bana diziyle ilgili bir örnek verebilir mi?Z3py, "String" ve "Sequence" öğesini destekler