projects / satlib.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
terminate on reading 0 bytes
[satlib.git] / glucose-syrup / incremental / Makefile
1 EXEC = glucose
2 DEPDIR    = mtl utils core
3 MROOT = $(PWD)/..
4 CFLAGS = -I ../..
5 include $(MROOT)/mtl/template.mk
SAT Solver Library