?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 7abe158) | patch
modify default solver parametersmaster
commit560818e01afa523001f29334982193caed938aa4
authorUtz-Uwe Haus <lisp@uuhaus.de>
Fri, 13 May 2011 10:20:30 +0000 (13 12:20 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Fri, 13 May 2011 10:20:30 +0000 (13 12:20 +0200)
treeb37bc7219ed2cbe9de5dca5410d15c5d5f1d32f6tree | snapshot (tar.gz zip)
parent7abe158ad98e45be8e75c14e7c4d39a2ba44e1d5commit | diff
modify default solver parameters

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
cuddsat.lisp diff | blob | blame | history
Common Lisp wrappers for CUDD library (Colorado University Decision Diagrams) using swig/cffi