sylvan-sys 1.1.0

Bindings for the Sylvan parallel decision diagrams library.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

[build-dependencies.cmake]
version = "0.1.49"

[dependencies.libc]
version = "0.2"

[features]
build_sylvan = []
default = ["build_sylvan"]

[package]
authors = ["Samuel Pastva <sam.pastva@gmail.com>"]
build = "build.rs"
categories = ["data-structures", "mathematics", "science"]
description = "Bindings for the Sylvan parallel decision diagrams library."
edition = "2021"
homepage = "https://github.com/daemontus/sylvan-sys"
keywords = ["bdd", "symbolic", "parallel"]
license = "Apache-2.0"
name = "sylvan-sys"
readme = "README.md"
repository = "https://github.com/daemontus/sylvan-sys"
version = "1.1.0"

[package.metadata.docs.rs]
no-default-features = true