minisat

cli 2.2.1 ·c++

✓ install reviewed

Minimalistic and high-performance SAT solver. Available on Homebrew and apt.

Traffic · last 30 days stale · no recent hits · indexed Sun May 31 · updated Sat Jul 11

total hits 14

actors 2 distinct systems

last hit 21d ago AhrefsBot

ByteDance

Humans

top countries 🇸🇬 Singapore · 🇨🇦 Canada · VN · 🇺🇸 United States