bitwuzla-sys (cargo): Low-level bindings for the Bitwuzla SMT solver
Keywords: ffi|smt