?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
another round of default test predicate mess
[cl-satwrap.git] / backends / precosat / .gitignore
blobfd6a3dec650e8a64246e867064cb718adb90a141
1 makefile
2 *.o
3 precocfg.hh
4 precosat
5 satwrap.precosat.lisp
6 *.sw*
7 *.so
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace