This repository was archived by the owner on Sep 20, 2026. It is now read-only.

Add niklasso/minisat Formula from Conan Center - #438

Closed

MeteorsLiu wants to merge 4 commits into

mainfrom

issue/326-minisat-restart

Commits on Sep 9, 2026

Add niklasso/minisat formula from Conan Center
MeteorsLiu
committed
6edc06f

Commits on Sep 10, 2026

fix(minisat): use upstream Makefile archive
MeteorsLiu
committed
ff8024c
fix(minisat): include simplifier in static archive
MeteorsLiu
committed
797ad3a
fix(minisat): pass dependency headers to Make
MeteorsLiu
committed
c65283f