Windows · Free download · Science and Engineering
CryptoMiniSat2.9.0
CryptoMiniSat : A simple SAT solver.
- Operating system
- Windows 10/11
- File size
- 503 KB
- License
- Freeware
- Last updated
- Apr 30, 2026
85 downloads·526 page views
Sponsored
Overview
What is CryptoMiniSat?
CryptoMiniSat : A simple SAT solver.
In depth
A closer look at CryptoMiniSat
CryptoMiniSat is a small, easy to use, command prompt based application specially designed to offer users a SAT solver. This tool aims to become a premiere SAT solver with all the features and speed of successful SAT solvers.
Verdict
Should you download CryptoMiniSat?
CryptoMiniSat runs on Windows 10/11 and is available under the Freeware license — the installer is 503 KB. We’ve catalogued it under Science and Engineering.
Verified clean. Every CryptoMiniSat build on SoftLookup is scanned for viruses, spyware, adware, trojans and backdoors. We re-test on every update.
Sponsored
At a glance
CryptoMiniSat specifications
- Category
- Science and Engineering
- Publisher
- Mate Soos
- Last updated
- Apr 30, 2026
- License
- Freeware
- Operating system
- Windows 10/11
- File size
- 503 KB
- Price
- Free
- Page views
- 526
Leave a comment
Help fellow users decide. Share your experience with CryptoMiniSat.