minisat

by PolarGoose / niklassov2.2

Last updated Jun 8, 2026

A minimalistic and high-performance SAT solver

Install with winget

$ winget install --id PolarGoose.minisat --exact --version 2.2

Run in Command Prompt, PowerShell, or Windows Terminal. Prompts for any agreements.

Built by Pckgr

For Intune admins

Stop chasing app updates. Pckgr patches them for you.

Automated application patching for Microsoft Intune. Pckgr keeps a curated library of 1,000+ apps continuously up-to-date in your tenant via Microsoft Graph - no manual repackaging, no chasing vendor sites.

Start free 30-day trial

No credit card required.

Installers · v2.2

Architecture	Type	Scope	Install	Download
x64	ZIP archive	-		Direct

Copy a command tailored to that specific architecture, type, and scope - useful when winget would otherwise pick a different default.

Security

1 known CVE via NVD

low3.3Fix availableCVE-2026-2644affects <=2.2.0Feb 17, 2026
A weakness has been identified in niklasso minisat up to 2.2.0. This issue affects the function Solver::value in the library core/SolverTypes.h of the component DIMACS File Parser. This manipulation of the argument variable index with the input 2147483648 causes out-of-bounds re...
Vendor advisory

Source: NVD, updated 4h ago. Patch status is best-effort: NVD's fix version is compared against the latest version in winget, but the two version formats don't always align. Confirm with the vendor advisory before treating any specific build as safe.

See a CVE that affects your fleet? Push the patched version to Intune in one click with Pckgr.

Frequently asked questions

How do I install minisat on Windows?

Open Windows Terminal, PowerShell, or Command Prompt and run: winget install --id PolarGoose.minisat --exact --version 2.2. winget downloads the installer from PolarGoose / niklasso and runs it. Requires Windows 10 (1809+) or Windows 11.

How do I install minisat silently for unattended deployment?

Add --silent and accept the agreements upfront: winget install --id PolarGoose.minisat --exact 2.2 --silent --accept-package-agreements --accept-source-agreements. This is the variant Intune, Configuration Manager, and other deployment tools should use.

How do I uninstall minisat via winget?

Run: winget uninstall --id PolarGoose.minisat --exact. Add --silent for unattended uninstalls. winget will use the registered uninstaller from minisat's Apps & Features entry.

Is minisat free?

minisat is distributed under MIT. Refer to the publisher for the full license terms - Wingetly itself does not charge for installation.

Does minisat work on Windows 10?

Yes, as long as your Windows 10 build supports winget (1809 or newer). winget ships with App Installer on Windows 10/11 and pulls minisat directly from the publisher.

How do I keep minisat up to date?

Run winget upgrade --id PolarGoose.minisat --exact, or winget upgrade --all to update everything winget tracks. We index 1 version of minisat from microsoft/winget-pkgs.