checklist.day

Boolector

JSON →
cli 1.5.118.6b56be4.121013 ·c
✓ install reviewed
testing

SMT solver for bit-vectors and arrays, useful for formal verification and software testing.

Resources

homepagefmv.jku.at/boolector/ ↗

API endpoints

full doc /v1/registry/boolector
install /v1/registry/boolector/install