checklist.day

SMT2 Parser

JSON →
library 0.6.1 ·rust
✓ verified Jun 17, 2026
utility

Generic parser library for the SMT-LIB-2 format.

Resources

docsdocs.rs/smt2parser/ ↗
githubgithub.com/facebookincubator/smt2utils ↗

API endpoints

full doc /v1/registry/smt2parser
install /v1/registry/smt2parser/install