CXXFLAGS = -std=c++0x -O2 -g -Wall -fmessage-length=0 -Wreorder -Wwrite-strings -Wsign-compare

OBJS = Main.o GSATThread.o GSAT/GSAT.o GSAT/ArrayFiller.o GSAT/CFormula.o

LIBS = -lpthread

TARGET = GSATSolver

$(TARGET):	$(OBJS)
	$(CXX) -o $(TARGET) $(OBJS) $(LIBS)

all:	$(TARGET)

clean:
	rm -f $(OBJS) $(TARGET)
	rm -rf *.*~
	rm -rf *~

run:
	./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4