?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
fix add-formula to drop :AND and :OR-symbols before adding clauses
[cl-satwrap.git] / .gitignore
blobfa129b387d3fbaa8f4b42a3a3ee8a0f21cf0a7a7
1 *~
2 *.fasl*
3 *.sw?
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace