modify default solver parametersmaster
authorUtz-Uwe Haus <lisp@uuhaus.de>
Fri, 13 May 2011 10:20:30 +0000 (12:20 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Fri, 13 May 2011 10:20:30 +0000 (12:20 +0200)
commit560818e01afa523001f29334982193caed938aa4
treeb37bc7219ed2cbe9de5dca5410d15c5d5f1d32f6
parent7abe158ad98e45be8e75c14e7c4d39a2ba44e1d5
modify default solver parameters

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
cuddsat.lisp