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 .