cudd-sys 0.1.1

Bindings for CU Decision Diagram library (CUDD)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 3

[[package]]
name = "cudd-sys"
version = "0.1.1"
dependencies = [
 "libc",
]

[[package]]
name = "libc"
version = "0.2.98"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "320cfe77175da3a483efed4bc0adc1968ca050b098ce4f2f1c13a56626128790"