Initial checkin of SAT solvers
[satlib.git] / glucose-syrup / mtl / config.mk
1 ##
2 ##  This file is for system specific configurations. For instance, on
3 ##  some systems the path to zlib needs to be added. Example:
4 ##
5 ##  CFLAGS += -I/usr/local/include
6 ##  LFLAGS += -L/usr/local/lib