This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/packages/bdd
Vitor Santos Costa 438cd7dce5 fix config
2015-10-20 03:10:13 +01:00
..
cmake fix error handling 2015-09-25 10:57:26 +01:00
examples document BDD package 2013-09-30 15:45:01 +01:00
simplecudd fix config 2015-10-20 03:10:13 +01:00
simplecudd_lfi fix config 2015-10-20 03:10:13 +01:00
bdd.yap bdd stuff 2015-03-08 02:15:53 +00:00
CMakeLists.txt cudd integration 2015-06-19 01:20:49 +01:00
config.h.in Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
configure.in enable path expansion by default 2015-04-24 10:03:44 -06:00
cudd_config.h Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
cudd_config.h.cmake fix config 2015-10-20 03:10:13 +01:00
cudd_config.h.in Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
cudd.c fix config 2015-10-20 03:10:13 +01:00
cudd.xx Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
ddnnf.yap remove debugging 2013-03-10 17:24:47 +00:00
Makefile.in try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
README experimental BDD interface package. 2012-03-22 21:36:44 +00:00
simpbool.yap ddnnf support 2012-04-23 07:13:25 -05:00
trie_sp.yap handle negation in tries and add debugging hooks 2013-02-26 09:39:18 -06:00

This is an experimental interface to BDD libraries. It is not as 
sophisticated as simplecudd, but it should be fun to play around with bdds.

It currently works with cudd only, although it should be possible to
port to other libraries. It requires the ability to dynamically link
with cudd binaries. This works:

- in fedora with standard package
- in osx with hand-compiled and ports package

In ubuntu, you may want to install the fedora rpm, or just contact me
for instructions.

Good Luck!

Vitor