?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Add get-essential-variables implementation.
2010-06-01 Utz-Uwe HausAdd get-essential-variables implementation.
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
 commit | commitdiff | tree
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace