btor2tools (cargo): High-level bindings for the btor2tools package
Keywords: parser|ffi|btor2