[]
= "btor2tools"
= "High-level bindings for the btor2tools package"
= ["Christian Mösl <christian.moesl@live.at>"]
= "MIT"
= ["api-bindings"]
= ["ffi", "btor2", "parser"]
= "https://docs.rs/btor2tools"
= "https://github.com/ChristianMoesl/btor2tools.rs"
= "https://github.com/ChristianMoesl/btor2tools.rs"
= "2018"
="1.1.0"
[]
= "~1.0.0"
= "~1.0.22"