?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Import PicoSAT-965
[cl-satwrap.git] / .gitignore
blob0177e0a56a8f12cbfc7aabc651aa2e46ac962e52
1 *~
2 *.fasl*
3 *.sw?
4 .dotest/
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace