5
Z3에서는 문자열과 시퀀스를 지원합니다. 그러나 Z3py도이를 지원합니까, 아니면 파이썬에서 문자열이나리스트를 사용해야합니까? 최신 버전에서 새 버전이 String 및 Sequence의 이론을 지원하는 것으로 보였지만 사용 방법을 모르겠습니다. 누구든지 시퀀스에 대한 예를 들어 주겠습니까?Z3py는 "문자열"과 "시퀀스"를 지원합니까
A
답변
0
예, Z3은 문자열과 시퀀스를 지원하지만 마지막 공개 버전에서는 기본 지원 만 있습니다. Python API를 포함한 모든 기능을 사용하려면 최신 마스터를 소스에서 컴파일해야합니다.