?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
shortlog | fulllog | patches | first · prev · next
cl-cudd.git
13 years agomodify default solver parametersmaster
commit | commitdiff | tree
Utz-Uwe Haus [Fri, 13 May 2011 10:20:30 +0000 (13 12:20 +0200)]
modify default solver parameters

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
13 years agoExtend exported interface to what we need in common use cases
commit | commitdiff | tree
Utz-Uwe Haus [Fri, 28 May 2010 15:49:53 +0000 (28 17:49 +0200)]
Extend exported interface to what we need in common use cases

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
13 years agoMove package definitions from .i file to separate lisp file
commit | commitdiff | tree
Utz-Uwe Haus [Fri, 28 May 2010 15:46:38 +0000 (28 17:46 +0200)]
Move package definitions from .i file to separate lisp file

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
13 years agoClarify licensing issues
commit | commitdiff | tree
Utz-Uwe Haus [Fri, 28 May 2010 13:34:20 +0000 (28 15:34 +0200)]
Clarify licensing issues

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
13 years agoFix automatic .so loading and add Makefile
commit | commitdiff | tree
Utz-Uwe Haus [Fri, 28 May 2010 11:14:03 +0000 (28 13:14 +0200)]
Fix automatic .so loading and add Makefile

Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>
14 years agoemergency commit
commit | commitdiff | tree
Utz-Uwe Haus [Fri, 23 Oct 2009 21:06:41 +0000 (23 23:06 +0200)]
emergency commit

Common Lisp wrappers for CUDD library (Colorado University Decision Diagrams) using swig/cffi