Cvc5
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Windows · v1.4.2 · cvc5.github.io
About Cvc5
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
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