<file_sep>#define RATIOREMOVECLAUSES 2
#define NBCLAUSESBEFOREREDUCE 20000
#define DYNAMICNBLEVEL
#define CONSTANTREMOVECLAUSE
#define UPDATEVARACTIVITY
#define BLOCK
<file_sep>#!/bin/bash
export FM=$PWD/sources/SatElite/ForMani
rm -rf ebglucose_static
rm -rf SatELite_release

cd sources/SatElite/SatELite
make clean
cd ../ForMani/Global
make clean
cd ../ADTs
make clean
cd ../../../glucose/core
make clean 
 
<file_sep>Main.o: Main.C Solver.h constants.h ../mtl/Vec.h ../mtl/Heap.h \
  ../mtl/Vec.h ../mtl/Alg.h SolverTypes.h BoundedQueue.h
Solver.o: Solver.C Solver.h constants.h ../mtl/Vec.h ../mtl/Heap.h \
  ../mtl/Vec.h ../mtl/Alg.h SolverTypes.h BoundedQueue.h ../mtl/Sort.h
Main.op: Main.C Solver.h constants.h ../mtl/Vec.h ../mtl/Heap.h \
  ../mtl/Vec.h ../mtl/Alg.h SolverTypes.h BoundedQueue.h
Solver.op: Solver.C Solver.h constants.h ../mtl/Vec.h ../mtl/Heap.h \
  ../mtl/Vec.h ../mtl/Alg.h SolverTypes.h BoundedQueue.h ../mtl/Sort.h
Main.od: Main.C Solver.h constants.h ../mtl/Vec.h ../mtl/Heap.h \
  ../mtl/Vec.h ../mtl/Alg.h SolverTypes.h BoundedQueue.h
Solver.od: Solver.C Solver.h constants.h ../mtl/Vec.h ../mtl/Heap.h \
  ../mtl/Vec.h ../mtl/Alg.h SolverTypes.h BoundedQueue.h ../mtl/Sort.h
Main.or: Main.C Solver.h constants.h ../mtl/Vec.h ../mtl/Heap.h \
  ../mtl/Vec.h ../mtl/Alg.h SolverTypes.h BoundedQueue.h
Solver.or: Solver.C Solver.h constants.h ../mtl/Vec.h ../mtl/Heap.h \
  ../mtl/Vec.h ../mtl/Alg.h SolverTypes.h BoundedQueue.h ../mtl/Sort.h
