boolector (cargo): Safe high-level bindings for the Boolector SMT solver
Keywords: bindings|ffi|smt|boolector