projects / satlib.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Initial checkin of SAT solvers
[satlib.git] / glucose-syrup / utils / Makefile
1 EXEC      = system_test
2 DEPDIR    = mtl
3
4 include $(MROOT)/mtl/template.mk
SAT Solver Library