Boolector
JSON →SMT solver for bit-vectors and arrays, useful for formal verification and software testing.
Traffic · last 30 days stale · no recent hits
total hits 8
actors 2 distinct systems
last hit 21d ago AhrefsBot
top countries 🇸🇬 Singapore · 🇨🇦 Canada · 🇺🇸 United States
Resources
homepagefmv.jku.at/boolector/ ↗