minisat

2.2.1

Minimalistic and high-performance SAT solver

Install

brew install minisat

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	2.2.1	File SHA-256 `51d6da8d2981eb278732b5a8659d525d2f3442c77698f68596bdfbbd35dfa026`
Apple Silicon	Tahoe	2.2.1	File SHA-256 `cf6593a34e4fccf6f0e21cd5a5ff25f1228a88bfa865a2a11d87e0a106186a7c`
Apple Silicon	Sequoia	2.2.1	File SHA-256 `c99b867058712c4d612c88a4994b087b44d6cea68e01ce30b7af6153609a27e9`
Apple Silicon	Sonoma	2.2.1	File SHA-256 `da140f3fdbd9218b87aa76edc4ca27e630eb64e1c9f88c9766e66889e01259aa`
Intel	Sonoma	2.2.1	File SHA-256 `8b4162944a00007011efc0b60bc3938c0f54b25526121cc1700bf108e673b287`
ARM64	Linux	2.2.1	File SHA-256 `b2a9974eb7be498a0222d84b7b0f82b9fe56c1c41b5437612534219a0d1bf71f`
x86_64	Linux	2.2.1	File SHA-256 `498f58fa3f510fd9d3381319c866db4a789ab7bbafbf230e635e2a47424ed6c5`