From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!weretis.net!feeder4.news.weretis.net!feeder2.ecngs.de!ecngs!feeder.ecngs.de!81.171.118.62.MISMATCH!peer02.fr7!news.highwinds-media.com!not-for-mail X-Trace: DXC=RT8ek]F_7=U[21U@Xc8n9_[3OhcoN[H0PLih1e8JcbeTY0f2kT4Q>YX[YCfKhYnj7]jj`A6cnbhdQ_ X-Complaints-To: abuse@ngroups.net Date: Wed, 08 Apr 2015 20:27:02 +0200 From: Per Sandberg User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: BDD package in Ada. References: <44b2e375-8993-4a7e-b81a-6a7b512d2e3e@googlegroups.com> In-Reply-To: <44b2e375-8993-4a7e-b81a-6a7b512d2e3e@googlegroups.com> Content-Type: multipart/mixed; boundary="------------030803080305040808010706" Message-ID: <552572f6$0$14707$862e30e2@ngroups.net> NNTP-Posting-Host: d54957f3.ngroups.net X-Received-Bytes: 4149 X-Received-Body-CRC: 637478457 Xref: number.nntp.giganews.com comp.lang.ada:192777 Date: 2015-04-08T20:27:02+02:00 List-Id: This is a multi-part message in MIME format. --------------030803080305040808010706 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit 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 > --------------030803080305040808010706 Content-Type: application/x-compressed-tar; name="cudd.tgz" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="cudd.tgz" H4sIANNyJVUAA+1YbU/jOBDmK/kVo4LuCnsOSfp2anfZW9FlD6nLouP4dlLkxm6bJW+yExD7 62/svDTQLvlCWSHl+dJ4/Hhmas+MJ5HCO/EyxkzK5N6OYCGG/b76tUcDK/91hlquMXD2bGdg 285wZCu57Vij0R5Yu3KojkymVADsJVw8y2Oxd9tAeYtIqHdLlxzObqZT8KUBAImgy5DCVSb4 xOAR03MT41d72mIXkEX+kyC+dwN+x4OXrwSN+T8aVvnfG9qY/31r1G/z/zVQz39zhjEwUzHw XCVYs9qa8Pbxld7yhR/wXdpoyH970CvzX13/A8x/u9dv7/9XAQ2CsboDljx6cg8QNXRX6jow DDOefx/DAVx8ufz2z2djP7xlvgCSwOFf+eQJy8LwwfSSZAxlTG3jK66xz71VDJ0DP/KCjHF4 L1Pmx+bqtINFB05R5wZDOZM3qsg6fZ5yEaUNLMZYmDRweNJkK0xFA0M2OZKlflBRDKPxJMaP 9xpkrX0H/SA523YAIgSygFL/sT7V9akUcmN/+e4dEA8O3yMbrSSEMkpkwj0gMdRsx8a+MkSI NlMZJr5+Pi7CZp8sI5ri/07q4soLNZ+IeeYHTDlBrnJFKNP+5k4a9b9YD8F8P5/0r5169FS9 qw4rFVl6lyW942OtMV3+MIzyaVztGhx279EnjwqmnfiY+3V8VLOuigbxfiwwAfT/yXmVinzB G7gfyx3fpY2m/s8Z9sr+T70B6vrfG7T1/zUQ+HNBxQO2evF37qU6cIvubxELuI4z4XF36gsJ meTQ7ehgP+4cTUrKt7laqCia0dFVogO/lSp/j2jIK/Yst+deojDnU1fZ7GwwKoXoYidvPxWx bTpfFGXp3qWNhvx3rH75/WeEqT/S+W+1/d+rQJLiJe8To65jWYPJY4HtTIghSffPA9M6OCKW aakhjpwDHDhqEPihn+Llf++nK9CdnLuaED3CToyLBfW4NM/c61RwGkqtr6CZ5xezz2QbS89I snyqX7dC2JpVJuoCvNsJVpH0IeEwnbp/n19hKQPqoWYJiyzyUj+OyH+q0hQk9pVG2D4IxYv4 PVw/yJSH5ifGBK6Z1Kk/1YdWT9YKL2Ns7pAluBcLdpJryCdpFEeu7XQTKlIYwzyOA04jGH+A f0XGj9arikUIj2IFvFJ8X66lCvcrHul1AB9O4Y4G+DSGWRwt3fMgpukEmzOALouzecCPtqw9 pwHqxrW3PvZkY3T9bIVdj+DRZM3WVRd9KEVqnPuoj6MinsXRHY/UdiiNZ39UEzeRt+KYOcy9 iYpZ5bTSpznbd021wqTY5yn7wqNyoE+76PExfPI55JZtYDXvrlAdHvVm8FSr0YefLNPmazLy +LuHWUiXdZZWuY2YT1Rc/eqxySzFFU+H9FNWLqw4+AKyycmFFUe9YWySCmnFklucl7nfv7pC tdglyrefXdpo/P5rWdX3n57Ty/t/q73/W7Ro0aJFixYtWrRo0eIl8T/XFfygACgAAA== --------------030803080305040808010706--