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.

How to use

See the examples directory.

Licence

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