Z3-2.12
Captures d'écran
Description
Z3-2.12 2.1 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. Sur notre site, vous trouverez ce logiciel dans Éducation et Science et plus précisément Outils Scientifiques. Ce programme gratuit a été à l'origine créé par Microsoft Research.
Du développeur:
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available. There is also an existing Python binding by Sascha Boehme.
Features:
- Enable check_assumptions without enclosing push/pop. This resolves the limitation described in Limitations:
- Expose coefficients used in arithmetical proofs.
Au vu de votre intérêt pour Z3-2.12, nous vous recommandons des logiciels similaires tels que WcfStorm ou LSL7Setup.
Commentaires
Subscribe to commentsMerci d'ajouter un commentaire expliquant les raisons de votre vote.