Adiar Interface in other Programming Languages

[SSoelvsten]

To allow wider and easier use of Adiar, we ought to provide bindings for the public API in other programming languages than C++. This depends on #200 .

C++ Wrappers

• [ ] CUDD-like / Object-oriented interface.

Other Languages

• [ ] C (adding bdd_addref and bdd_delref for manual reference counting)
• [ ] Rust (as described in the manual or with CXX)
• [ ] Python (using Cython or Boost Python).
• [ ] Java (using Java Native Interface)
• [ ] Scala (wrapping the Java interface)
• [ ] OCaml (as described in the manual)

Since this needs to be maintained, some unit/integration testing should be added too.

Additional context Encouraged/Requested by Alessandro Cimatti to improve traction of Adiar .