-
Would it be possible to provide an fdd_allsat, which enumerates
all fdd-integer vectors in a given BDD? I don't see an efficient
way to implement this efficiently through the current interface.
2009-05-30 19:13:00 UTC by vdpol
-
adds a few missing headers that cause compilation to fail with GCC 4.3.
2009-02-10 04:41:17 UTC by dirtyepic
-
LU6d5R kpraskluxctp, [url=http://okyoyfljeikn.com/]okyoyfljeikn[/url], [link=http://cefnynrhojtl.com/]cefnynrhojtl[/link], http://fjzndvmlldcw.com/.
2008-12-28 11:00:12 UTC by nobody
-
Autoconf needs to know where the M4 macros are kept, so this patch adds a call to AC_CONFIG_MACRO_DIR. Also, the AC_HELP_STRING macro is obsolete. This patch converts it to AS_HELP_STRING, which also does not require that its arguments be quoted.
2008-08-20 15:03:18 UTC by jjames
-
haimcohen committed patchset 71 of module buddy to the buddy CVS repository, changing 3 files.
2007-08-02 02:31:42 UTC by haimcohen
-
haimcohen committed patchset 70 of module buddy to the buddy CVS repository, changing 2 files.
2007-08-01 23:04:13 UTC by haimcohen
-
haimcohen committed patchset 69 of module buddy to the buddy CVS repository, changing 1 files.
2007-08-01 22:58:36 UTC by haimcohen
-
nikos-g committed patchset 68 of module buddy to the buddy CVS repository, changing 3 files.
2007-08-01 22:51:10 UTC by nikos-g
-
nikos-g committed patchset 67 of module buddy to the buddy CVS repository, changing 1 files.
2007-08-01 22:18:32 UTC by nikos-g
-
nikos-g committed patchset 66 of module buddy to the buddy CVS repository, changing 1 files.
2007-08-01 22:12:54 UTC by nikos-g
