minisat

by PolarGoose / niklassov2.2

PolarGoose.minisat

Last updated Apr 28, 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.

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.

See Pckgr's app library

Installers · v2.2

Architecture	Type	Scope	Install	Download
x64	zip	-		Direct

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

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.