Windows software

minisat

Name: minisat
Author: PolarGoose / niklasso

PolarGoose.minisat v2.2

A minimalistic and high-performance SAT solver

Install with Winget

Command line

PS> winget install --id PolarGoose.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.

tosuapp.tosu

tosu is a high-performance, open-source memory reader and data provider designed for the rhythm game osu!.

v4.26.0 Aug 24, 2026

Nethermind.Nethermind

A robust, high-performance execution client for Ethereum node operators.

v1.39.2 Jul 21, 2026

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

oxc-project.oxfmt

Oxfmt is a high-performance formatter for the JavaScript ecosystem.

v0.63.0 Aug 10, 2026