Home › Education › Z3-2.6

Z3-2.6

By Microsoft Research

Rating:

0/5 (0)

License type: Freeware

Latest version: 2.6

Last updated: November 11th, 2011

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

Download: http://research.microsoft.com
Downloaded 13 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 124.0
Browse the Internet and download files without worrying about privacy.
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.