Played a bit with a binding and ended up with the following.
GCC 4.9 should work.
/Per



Den 2015-04-07 22:35, Vincent DIEMUNSCH skrev:
> Hello everybody,
>
> Binary Decisions Diagram [1] is a key technology in computer science, for the verification of software and hardware designs.  Donald Knuth calls BDDs "one of the only really fundamental data structures that came out in the last twenty-five years" and mentions that Bryant's 1986 paper was for some time one of the most-cited papers in computer science.
>
> There are many BDD libraries in C/C++, there are libraries in Lisp, Python, Java, Lua, OCaml, Prolog... all available on the Internet [2], but I couldn't find one in Ada. I am pretty sure that there must be excellent BDD libraries in Ada used in the Defense Industry, but it seems that no one is public.
>
> So I hesitate between developping a binding to an existing C library, and thus having access to the best and fastest implementations, or developping one myself, but the result might be less efficient, although easier to use from Ada and more portable.
>
> Any piece of advice to give me ? Would some of you be interested in using it ? In contributing to the development as an Open Source ?
>
> Regards,
>
> Vincent Diemunsch
>
>
> [1] - http://en.wikipedia.org/wiki/Binary_decision_diagram
> [2] - https://github.com/johnyf/tool_lists/blob/master/bdd.md
>