Windows software

minisat

Name: minisat
Author: niklasso

niklasso.minisat v2.2

A minimalistic and high-performance SAT solver

Install with Winget

Command line

PS> winget install --id niklasso.minisat -e

Official manifest sources

External links ↗

Installer	Details	SHA-256	Download
x64 github.com	zip	`17467b8e38d71b22c95e1d757c8c495aeb3af43405a8c2fbf2f790ba57c60745`	Download

No dependency information in this manifest.

Before you download

Links come from the Winget manifest and open external publisher infrastructure. Verify the publisher and checksum before running a file.

SCIA.SCIAEngineer.26

High performance, reliable multi-material structural analysis and design software for all your projects.

v26.0.5012 Jul 15, 2026

PolarGoose.minisat

A minimalistic and high-performance SAT solver

v2.2

KoalaFacts.HeroParser

High-performance, cross-platform CLI tool for parsing, converting, formatting, and profiling CSV, Fixed-Width, Excel, JSONL, and HTB files.

v2.5.2 Jul 7, 2026

GAI.ChaPose

chapose - modern high performance file security tool.

v1.0.0 Jul 14, 2026