repo.or.cz / cl-satwrap.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: b93205c) | patch
Fix macro expansion time confusion in with-index-hash
authorUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 08:45:00 +0000 (10:45 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 08:45:00 +0000 (10:45 +0200)
commitf7b3718286f69e1453ff563f8e6cccab8501afa0
treeb05b0a2adeb9a6e9b465a47f0760c3ebcdb26cd4tree | snapshot (tar.gz zip)
parentb93205ceb9c175369e41bc2598a2304a79d90642commit | diff
Fix macro expansion time confusion in with-index-hash

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
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