?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Fix NNF generation if explicit :ATOMs are used
[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