?  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] / Makefile
blobb0e2fdba60e6cd6bf98da86e97891acae261bd54
1 all: backends
2
3 .PHONY: backends
4 backends:
5 make -C backends
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace