Pepin 1.4.0

Highlights

• New sample-storage modes for large-nvars / short-clauses workloads:
  • --sparse 0 (dense bitset, default — existing behaviour)
  • --sparse 1 (sparse: hybrid sorted-index storage, auto-promotes to dense per sample)
  • --sparse 2 (hash: lazy seed-based regeneration, lowest memory)
• Windows build support (MSYS2/MINGW64, static).
• Release workflow: static binaries published for Linux amd64/arm64, macOS arm64/x86_64, and Windows x86_64.
• Fuzz testing: new many-clauses stage and a fast DNF generator.
• Logging: clause-progress and elapsed CPU time on remove_half lines.

Notes

• README updated to document --sparse modes and to note that the Burkhardt et al. tight-PAC speculation does not hold.
• WASM/HTML frontend gained dense/sparse/hash radio selectors with per-mode guidance.

Pepin 1.3.0

Fixing use of Boost so we can build for many platforms.

Pepin 1.2.0

New release, with cleanup

Pepin 1.1.1

A slightly improved --help.

Pepin 1.1.0

First stable release