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