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