?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(initial) | patch
Initial layout
commitf9efb08cbedb200e8fce8e9e45fa0ac13712bc55
authorUtz-Uwe Haus <haus@uuhaus.de>
Sun, 30 May 2010 17:39:02 +0000 (30 19:39 +0200)
committerUtz-Uwe Haus <haus@uuhaus.de>
Sun, 30 May 2010 17:39:02 +0000 (30 19:39 +0200)
tree3965d3f398637b731ea347de3aff1cf1287def67tree | snapshot (tar.gz zip)
Initial layout

Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>
.gitignore [new file with mode: 0644] blob
backend.lisp [new file with mode: 0644] blob
package.lisp [new file with mode: 0644] blob
satwrap.asd [new file with mode: 0644] blob
satwrap.lisp [new file with mode: 0644] blob
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace