Z3

cli 4.15.4 ·shell

✓ install reviewed

High-performance theorem prover. Available on Homebrew and apt.

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

total hits 10

actors 2 distinct systems

last hit 20d ago human

Amazonbot

Humans

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