btor2tools 1.1.0

High-level bindings for the btor2tools package
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

[dependencies.btor2tools-sys]
version = "~1.0.0"

[dependencies.thiserror]
version = "~1.0.22"

[package]
authors = ["Christian Mösl <christian.moesl@live.at>"]
categories = ["api-bindings"]
description = "High-level bindings for the btor2tools package"
documentation = "https://docs.rs/btor2tools"
edition = "2018"
homepage = "https://github.com/ChristianMoesl/btor2tools.rs"
keywords = ["ffi", "btor2", "parser"]
license = "MIT"
name = "btor2tools"
repository = "https://github.com/ChristianMoesl/btor2tools.rs"
version = "1.1.0"