Levent Erkok est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
-
Je n'ai encore rien demandé.
Dernières réponses
- 0 votes
Clarification types SMT ; erreur dans la troncature de variable ? ; autoriser Bool*Int
el 24 de Août, 2018 0 votes - 1 votes
La fonction de preuve Z3Py retourne un contre-exemple incorrect
el 11 de Octobre, 2018 1 votes - 0 votes
Z3 donne une réponse différente à chaque fois en réordonnant les paramètres. Problème d'optimisation
el 18 de Juin, 2020 0 votes