Z3-2.6 2.6 é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. C'est grâce à Microsoft Research que ce programme gratuit a vu le jour.
Dans notre logithèque, vous trouverez Z3-2.6 dans Éducation et Science et plus précisément Outils Scientifiques. 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. Ce programme PC gratuit a été programmé pour fonctionner sur Windows XP/7/10/11 dans sa version 32-bit.
Du développeur:
Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec#, Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC.
Peut-être voudriez-vous essayer également des logiciels en rapport avec Z3-2.6 ? Nous vous proposons TBarCode, Connected Components Workbench ou Z3-2.12.