Facade crate for SMT constraint IR + SMT-LIB backends
SMT-LIB2 serialization + solver I/O backend for smtkit
Z3 in-process backend for smtkit (feature-gated)
Solver-agnostic typed IR for SMT constraints (core)