Home › Education › Z3-2.12

Z3-2.12

By Microsoft Research

Rating:

0/5 (0)

License type: Freeware

Home page: research.microsoft.com

Latest version: 2.1

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...

Download: http://research.microsoft.com/.../redmond/projects/z3/download.html
26.69 MB Downloaded 11 times

Main window

Related programs:

Internet Explorer 11.0
Browse the Web in a secure environment with HTML5 support.
Windows Media Player 12.0
A powerful and convenient media manager from Microsoft
Microsoft Office OneNote 16.0
Microsoft Office OneNote is a program that lets you manage your notes.
Realtek High Definition Audio Driver 6.0
Provides listening capabilities for DTS, Dolby and Surround.
Microsoft Defender 6.1
Windows Defender is a powerful and easy-to-use anti-malware tool.
VLC media player 3.0
Plays most multimedia files as well as DVDs, Audio CDs, VCDs, etc.
Microsoft Office 16.0
Create word documents, presentations, databases, and spreadsheets.
Firefox 133.0
Surf the Internet securely on an open-source web browser.
Software Informer 1.5
Download popular programs, drivers and latest updates easily.
Microsoft Office Word 16.0
Microsoft Office Word is a program that allows you to create documents.