Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Package "bddem"

Title:A library for manipulating Binary Decision Diagrams
Rating:Not rated. Create the first rating!
Latest version:4.3.1
SHA1 sum:ff76f9a341efe3778bea5a6df12ab5511722c8bf
Author:Fabrizio Riguzzi <fabrizio.riguzzi@unife.it>
Download URL:https://github.com/friguzzi/bddem/releases/*.zip

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
4.1.03b399644bf8a3d52c18c4122e39a671beed8947b1https://github.com/friguzzi/bddem.git
40d19196c8737ffb8e0617b4a0c26c507108a6901https://github.com/friguzzi/bddem.git
814b955f9d52bc888ba762d7a565c1f454954c0d1https://github.com/friguzzi/bddem.git
4.2.002126350c23bb2389c402f0e6d33277fde93bdfc2https://github.com/friguzzi/bddem.git
440a6006d8ccdbc029e7435fa9f3b5e3a9f8be3e2https://github.com/friguzzi/bddem.git
457ee1edfb6fd7fb7c95ecf794ca19048a1d47b17https://github.com/friguzzi/bddem.git
4e8eb0d62a727fc39df37ca35155998d8deef0dc3https://github.com/friguzzi/bddem.git
66acabfbfd5eac0c2a1a58bafdd2662a822cb86c1http://reason.di.fc.ul.pt/~jpms/Drops/bddem-4.2.0.tgz
aa6335bf35c9d9896377d1bb5f923e08ca5a35e62https://github.com/friguzzi/bddem.git
4.3.00e734bb207e212fc7fc94706d512b00fa51113421https://github.com/friguzzi/bddem.git
4.3.12657a908eeed9ab07eecd5f4d38bffc4b6ceb9e08https://github.com/friguzzi/bddem.git
3048936207c4e748ecca7f0c1c9352d88881b2c273https://github.com/friguzzi/bddem.git
3685983ef41923ae325a4b298c273ed01313af0613https://github.com/friguzzi/bddem.git
404b4cbbaa7892c213ef11aa38431581887ce3c04https://github.com/friguzzi/bddem.git
5fa5081d4c1ca3e5017d167ba73c0af438b2436e20https://github.com/friguzzi/bddem.git
88bd588d298d726764121d3c0063f12cb8c4eabd18https://github.com/friguzzi/bddem.git
9d29e373125d1d24db50488aee6b871b34f8363c7https://github.com/friguzzi/bddem.git
9f8ff1fbcbb6edc19a6bc17175e4e0ef5eec32ac1https://github.com/friguzzi/bddem.git
af291a3e8115e1c2b4e63dd448bf317cc5cb46b09https://github.com/friguzzi/bddem.git
bd3da4848bd17de282f5f9667a66383ef44dde8813https://github.com/friguzzi/bddem.git
c600911be21991777954697d9c911c94833f89cc5https://github.com/friguzzi/bddem.git
d98c812bbad0e66879a5b3658d312b720358acac18https://github.com/friguzzi/bddem.git
eb779f3abbbaf7b466ff99ac0869d95edb0ae69937https://github.com/friguzzi/bddem.git
f3ba150fc3578ae0b4e7d44bd7d251d598c310624https://github.com/friguzzi/bddem.git
ff76f9a341efe3778bea5a6df12ab5511722c8bf2https://github.com/friguzzi/bddem.git

bddem

bddem is a library for manipulating Binary Decision Diagrams in SWI-Prolog (http://www.swi-prolog.org/).

It contains programs for building BDDs, for computing probabilities and for performing Expectation Maximization.

It is used by various SWI-Prolog packs:

Documentation

https://friguzzi.github.io/bddem

Installation

This is an SWI-Prolog pack.

It can be installed with pack_install/1

$ swipl
?- pack_install(bddem).

The pack uses a foreign library and contains the library binaries for 32 and 64 bits Linux, MacOs and 64 bits Windows. If you want to recompile the foreign library you can use

?- pack_rebuild(bddem).

On 32 and 64 bits Linux this should work out of the box. On 64 bits Windows the library must be rebuilt by hand. The procedure for building it using MSYS2 can be found at the bottom of this document.

Testing the installation

$ swipl
?- use_module(library(bddem_test)).
?- run_tests.

Building under Windows using MSYS2

Install MSYS2 from https://www.msys2.org/ First run ?- pack_rebuild(bddem). This typically fails but produces the file buildenv.sh in the root folder. Modify this file by commenting the line defining the PATH variable in this way

#PATH=...

Open a Mingw-w64 64 bit shell. Install required packages using pacmam

pacman -S mingw64/mingw-w64-x86_64-gcc
pacman -S msys/automake-wrapper
pacman -S msys/autoconf
pacman -S mingw64/mingw-w64-x86_64-libtool
pacman -S msys/make

The compilation was successful with the following package versions

$ pacman -Qe
autoconf 2.69-5
automake-wrapper 11-1
bash 4.4.019-3
bash-completion 2.8-2
bsdcpio 3.3.3-3
bsdtar 3.3.3-3
bzip2 1.0.6-2
coreutils 8.30-1
curl 7.61.0-2
dash 0.5.10.2-1
dtc 1.4.7-1
file 5.34-1
filesystem 2018.08-1
findutils 4.6.0-1
flex 2.6.4-1
gawk 4.2.1-1
gcc-libs 7.3.0-3
getent 2.18.90-2
grep 3.1-1
gzip 1.9-1
inetutils 1.9.4-1
info 6.5-2
less 530-1
libargp 20110921-2
lndir 1.0.3-1
make 4.2.1-1
mingw-w64-x86_64-gcc 8.2.0-3
mingw-w64-x86_64-libtool 2.4.6-12
mintty 1~2.9.1-1
msys2-keyring r9.397a52e-1
msys2-launcher-git 0.3.32.56c2ba7-2
msys2-runtime 2.11.1-2
ncurses 6.1.20180908-1
pacman 5.1.1-3
pacman-mirrors 20180604-2
pactoys-git r2.07ca37f-1
pax-git 20161104.2-1
pkgfile 17-1
rebase 4.4.4-1
sed 4.5-1
tftp-hpa 5.2-2
time 1.9-1
ttyrec 1.0.8-2
tzcode 2018.c-1
util-linux 2.32.1-1
which 2.21-2

In the Mingw shell, go the folder where bddem is located, typically `AppData/Roaming/SWI-Prolog/pack/bddem/` in your home. Execute buildenv.sh

$ source buildenv.sh

Compile with

$ ./configure
$ make
$ make install

Support

Use the Google group https://groups.google.com/forum/#!forum/cplint

Contents of pack "bddem"

Pack contains 274 files holding a total of 9.9M bytes.