kissat

cli 4.0.4 ·c

✓ install reviewed

Bare metal SAT solver. Available on Homebrew and apt.

Traffic · last 30 days ↑600% vs prev 7d · indexed Sun May 31 · updated Sat Jul 11

total hits 9

actors 3 distinct systems

last hit 7d ago Amazonbot

Amazonbot

Humans

top countries 🇸🇬 Singapore · 🇺🇸 United States · 🇨🇦 Canada · 🇫🇷 France