About minisat
A minimalistic and high-performance SAT solver
minisat 2.2
A minimalistic and high-performance SAT solver
- By PolarGoose / niklasso
- Open Source
Technical details
| Publisher | PolarGoose / niklasso |
|---|---|
| Version | 2.2 |
| License | MIT |
| Installer type | zip |
| Architecture | x64 |
| Package ID | PolarGoose.minisat |
Install minisat from the command line
- Install with Windows Package Manager
winget install --id=PolarGoose.minisat -e- Update to the latest version
winget upgrade --id=PolarGoose.minisat -e- Uninstall
winget uninstall --id=PolarGoose.minisat -e
Frequently asked questions
Is minisat free?
Yes. minisat is free and open-source software released under the MIT license.
What is the latest version of minisat?
The latest version is 2.2.
Is it safe to download minisat?
The download button links to the official installer published on github.com, the same file Windows Package Manager installs. You can verify the downloaded file by comparing its SHA-256 checksum with 17467b8e38d71b22c95e1d757c8c495aeb3af43405a8c2fbf2f790ba57c60745.
Which Windows versions does minisat support?
minisat runs on Windows and is available for 64-bit (x64) systems.
How do I uninstall minisat?
Open Settings › Apps › Installed apps, find minisat and select Uninstall. From the command line, run winget uninstall --id=PolarGoose.minisat -e.
Related software
Chocolatey 2.7.4.0
Chocolatey is The Package Manager for Windows. It was designed to be a decentralized framework for quickly installing applications and tools that you need. It is built on the NuGet infrastructure and
Dell Command | Update 5.7.0
Dell Command Update is a stand-alone application for systems that provides updates for system software that is released by Dell. This application simplifies the BIOS, firmware, driver, and application
CCleaner 7 7.11.1522.1958
CCleaner for PC helps you clean up your Windows computer, optimize performance, and maintain your online privacy.
ninja 1.13.2
A small build system with a focus on speed.
Belgium e-ID middleware 5.1.6350
Middleware to use the Belgian eID
PowerToys 0.101.2362.0
Microsoft PowerToys is a set of utilities for power users to tune and streamline their Windows experience for greater productivity.
Chocolatey GUI 3.3.0.0
A delicious GUI for Chocolatey
Beats winlogbeat 9.5.5
Fetches and ships Windows Event logs