checklist.day

yices2

JSON →
cli 2.7.0 ·shell
✓ install reviewed
devops

Yices SMT Solver. Available on Homebrew and apt.

Resources

homepageyices.csl.sri.com/ ↗

API endpoints

full doc /v1/registry/yices2
install /v1/registry/yices2/install