repo.or.cz / cl-satwrap.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 73d36d8) | patch
Reduce consing and recursion in split-delimited-string
authorUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 20:42:48 +0000 (22:42 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 20:42:48 +0000 (22:42 +0200)
commitf240fcde85cf490ca9460683e4f8ad7dabb9ea10
tree1ede7b476492ac028f7d5d7f0a68b4f5d6e599f3tree | snapshot (tar.gz zip)
parent73d36d832d14b81cf96b6388a2e832fa830ec542commit | diff
Reduce consing and recursion in split-delimited-string

ACL did not recognize tail-recursion

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
dimacs.lisp diff | blob | blame | history
satwrap.lisp diff | blob | blame | history
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace