all: walksat walksat_restart

walksat_restart: main2.o walksat_restart.o assignment.o clause.o formula.o rand.o
	g++ -o walksat_restart main2.o walksat_restart.o assignment.o clause.o formula.o rand.o

walksat: main.o walksat.o assignment.o clause.o formula.o rand.o
	g++ -o walksat main.o walksat.o assignment.o clause.o formula.o rand.o

main.o: main.cpp Formula.h Assignment.h WalkSat.h rand.h
	g++ -c main.cpp -o main.o

main2.o: main2.cpp Formula.h Assignment.h WalkSat.h rand.h
	g++ -c main2.cpp -o main2.o

walksat.o: WalkSat.cpp WalkSat.h Clause.h rand.h
	g++ -c WalkSat.cpp -o walksat.o

walksat_restart.o: WalkSatRestart.cpp WalkSatRestart.h Clause.h rand.h
	g++ -c WalkSatRestart.cpp -o walksat_restart.o

assignment.o: Assignment.cpp Assignment.h 
	g++ -c Assignment.cpp -o assignment.o

clause.o: Clause.cpp Clause.h Assignment.h
	g++ -c Clause.cpp -o clause.o

formula.o: Formula.cpp Formula.h Assignment.h Clause.h rand.h
	g++ -c Formula.cpp -o formula.o

rand.o: rand.cpp rand.h
	g++ -c rand.cpp -o rand.o
	
clean:
	rm -f walksat walksat_restart *.o core*