если без другого

#z3 #z3py Вопрос: Я пытаюсь использовать z3, чтобы сделать простую математику, условие-если без чего-либо еще. ........................................ for (i = 0; i lt;= 15; i) { if (s1[i] gt; 64 amp;amp;…