decdnnf-c

C bindings for decdnnf-rs, built using cbindgen.

How to build

Run cargo build --release to produce the library in target/release and the header in target/include.

See the examples directory.

Decdnnf-c is developed at CRIL (Univ. Artois & CNRS). It is made available under the terms of the GNU GPLv3 license.

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
examples		examples
src		src
.gitignore		.gitignore
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
build.rs		build.rs