W Z3 obsługuje łańcuch i sekwencję. Ale czy Z3py obsługuje je również, czy musimy użyć łańcucha lub listy z Pythona? Z najnowszej wersji wydawało się, że nowa wersja obsługuje teorie String i Sequence, ale nie wiem, jak z niego korzystać. Czy ktoś dałby mi przykład na temat sekwencji?Czy Z3py obsługuje "String" i "Sequence"
5
A
Odpowiedz
0
Tak, Z3 obsługuje ciągi i sekwencje, ale w ostatnim publicznym wydaniu jest tylko podstawowe wsparcie. Będziesz musiał skompilować najnowszy wzorzec ze źródła, aby uzyskać wszystkie funkcje (w tym Python API).
Powiązane problemy
- 1. Nauka Z3py - Czy istnieje wsparcie dla macierzy i pętli
- 2. Python - Memoization i Collatz Sequence
- 3. C++ Continuous Sequence Concept
- 4. (Z3Py) sprawdzanie wszystkich rozwiązań dla równania
- 5. Czy PetaPoco obsługuje wyliczenia?
- 6. EclipseLink and Sequence Generator Prealocation
- 7. Czy PDFBox obsługuje kolory dodatkowe i separacje?
- 8. Czy usługa DS.FixtureAdapter obsługuje sideload?
- 9. Czy Ruby obsługuje typ-podpowiedź?
- 10. Czy libspotify obsługuje oauth
- 11. Czy CMake obsługuje Python3?
- 12. Czy Jenkins obsługuje XUnit.Net?
- 13. Czy Node.js obsługuje paralelizm?
- 14. Czy SQLite obsługuje SCOPE_IDENTITY?
- 15. Czy Ember.js obsługuje IE6?
- 16. Czy SystemVerilog obsługuje downcasting?
- 17. Czy SQLite obsługuje replikację?
- 18. Czy ormlite obsługuje dziedziczenie?
- 19. Czy Winapi obsługuje globalnie?
- 20. 4-Tuple Sequence Aby Mapa Mapy Mapy
- 21. Czy Mono obsługuje XAML?
- 22. Czy Heroku obsługuje PHP?
- 23. Czy SQLAlchemy obsługuje buforowanie?
- 24. Czy Dapper obsługuje Enums?
- 25. Czy PowerShell obsługuje OOP?
- 26. Czy Cassandra obsługuje sharding?
- 27. Czy Catboost obsługuje python3?
- 28. Czy EF7 obsługuje wyliczenia?
- 29. Czy Android obsługuje log2
- 30. Czy Android obsługuje OpenCL?