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