btor 0.1.0

[dependencies.aig]
version = "0.2"

[lib]
name = "btor"
path = "src/lib.rs"

[package]
authors = ["Yuheng Su <gipsyh.icu@gmail.com>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = "build.rs"
description = "Rust wrapper for btor"
edition = "2021"
license = "MIT"
name = "btor"
readme = false
repository = "https://github.com/gipsyh/btor-rs"
version = "0.1.0"