diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

configuration issues

Browse Source
This commit is contained in:
Vítor Santos Costa 2015-10-22 00:47:47 +01:00
parent 8cd22a0c18
commit 352ea085b7
3 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/bdd/cudd_config.h
View File

@ -2,7 +2,7 @@
/* Define to 1 if you have the <cuddInt.h> header file. */ /* Define to 1 if you have the <cuddInt.h> header file. */
#ifndef HAVE_CUDDINT_H #ifndef HAVE_CUDDINT_H
/* #undef HAVE_CUDDINT_H */ #define HAVE_CUDDINT_H
#endif #endif
/* Define to 1 if you have the <cudd/cuddInt.h> header file. */ /* Define to 1 if you have the <cudd/cuddInt.h> header file. */
@ -17,7 +17,7 @@
/* Define to 1 if you have the <cudd.h> header file. */ /* Define to 1 if you have the <cudd.h> header file. */
#ifndef HAVE_CUDD_H #ifndef HAVE_CUDD_H
/* #undef HAVE_CUDD_H */ #define HAVE_CUDD_H
#endif #endif
/* Define to 1 if you have the <cudd/util.h> header file. */ /* Define to 1 if you have the <cudd/util.h> header file. */

BIN
packages/bdd/simplecudd/simplecudd Executable file
View File

Binary file not shown.

BIN
packages/bdd/simplecudd_lfi/simplecudd_lfi Executable file
View File

Binary file not shown.