projects / satlib.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Adding support for reading wrong assumptions
[satlib.git] / glucose-syrup / parallel / Makefile
1 EXEC      = glucose-syrup
2 DEPDIR    = mtl utils core simp
3 MROOT = $(PWD)/..
4 include $(MROOT)/mtl/template.mk
SAT Solver Library