checklist.day

Z3

JSON →
cli 4.15.4 ·shell
✓ install reviewed
devops

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

Resources

homepagegithub.com/Z3Prover/z3 ↗

API endpoints

full doc /v1/registry/z3
install /v1/registry/z3/install