Q

z3 timeout sur linux/mac

z3

2012-02-14 4 views 1 likes

1

Salut Leonardo: On dirait que z3 (v3.2) accepte le commutateur de ligne de commande "-T: 10" pour spécifier des délais d'attente sur Mac et Linux, mais l'ignore. (N'a pas essayé sur Windows.) Ce serait vraiment bien si les délais d'attente étaient également supportés sur les versions linux/mac.z3 timeout sur linux/mac

2012-02-14 Levent Erkok

A

Répondre

0

Oui, le commutateur -T est Windows uniquement dans Z3 3.2. Cela sera corrigé dans la prochaine version.

2012-02-14 15:25:23

Questions connexes

1. Compilation Z3 sur un OSX
2. Z3 Polarité utilisant Z3 comme solveur SAT
3. C#: Timeout sur SerialPort.Open?
4. Jquery timeout sur chaque
5. TimeOut sur CodeChef
6. Ext.ajax timeout sur Android
7. C++ timeout sur getline
8. Scala^Z3 (Z3 version 3.2) et parsesmtlib2string (...) ne fonctionne pas
9. Mise en œuvre Z3 SMT 2.0 vs Z3 py
10. attributions partielles en Z3
11. Get-assignment in Z3
12. Z3 retourne inconnu
13. Trop de configurations possibles dans z3 en utilisant scala^z3
14. z3 Exemple d'erreur MaxSAT
15. cancel timeout timeout vs task.delay() et timeout
16. ASP.NET - Javascript timeOut basé sur sessionState Avertissement timeOut dans web.config
17. Lecture d'un fichier Z3
18. Une exception dans z3
19. des questions Z3 QBVF
20. Mauvais résultat de z3
21. Code Z3 en python
22. liste concat dans z3
23. Interprétation des statistiques Z3
24. Solveur simplex en Z3
25. Quantifier dans Z3
26. vérification d'équivalence avec Z3
27. erreur dans l'importation z3
28. Variables symboliques dans z3
29. Sortie Z3 et DIMACS
30. Bit-sage avec Z3?