Z3
Theorem prover from Microsoft Research.
Windows · v5.3.1 · github.com
About Z3
Theorem prover from Microsoft Research.
More utilities for Windows
7-Zip
A multi-format file archiver with high compression ratios.
Utilities
Everything
Locate files and folders by name instantly.
Utilities
qBittorrent
Free and reliable P2P Bittorent client.
Utilities
Krita
A free digital painting application
Utilities
KeePassXC
Community fork of KeePass
Utilities
Nodejs
An asynchronous event driven JavaScript runtime designed to build scalable network applications.
Utilities
Winrar
Powerful archive manager
Utilities
010 Editor
Professional text and hex editor with Binary Templates technology.
Utilities
3rvx
Skinnable volume controller and OSD.
Utilities