/Users/audemard/Sat/Src/syrup/simp/Main.o /Users/audemard/Sat/Src/syrup/simp/Main.or /Users/audemard/Sat/Src/syrup/simp/Main.od /Users/audemard/Sat/Src/syrup/simp/Main.op: /Users/audemard/Sat/Src/syrup/simp/Main.cc \
  /Users/audemard/Sat/Src/syrup/simp/../utils/System.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/IntTypes.h \
  /Users/audemard/Sat/Src/syrup/simp/../utils/ParseUtils.h \
  /Users/audemard/Sat/Src/syrup/simp/../utils/Options.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Vec.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/XAlloc.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/Dimacs.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/SolverTypes.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Alg.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Map.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Alloc.h \
  /Users/audemard/Sat/Src/syrup/simp/../simp/SimpSolver.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Queue.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/Solver.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Heap.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/BoundedQueue.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/Constants.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Clone.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/SolverStats.h
/Users/audemard/Sat/Src/syrup/simp/SimpSolver.o /Users/audemard/Sat/Src/syrup/simp/SimpSolver.or /Users/audemard/Sat/Src/syrup/simp/SimpSolver.od /Users/audemard/Sat/Src/syrup/simp/SimpSolver.op: /Users/audemard/Sat/Src/syrup/simp/SimpSolver.cc \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Sort.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Vec.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/IntTypes.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/XAlloc.h \
  /Users/audemard/Sat/Src/syrup/simp/../simp/SimpSolver.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Queue.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/Solver.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Heap.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Alg.h \
  /Users/audemard/Sat/Src/syrup/simp/../utils/Options.h \
  /Users/audemard/Sat/Src/syrup/simp/../utils/ParseUtils.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/SolverTypes.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Map.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Alloc.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/BoundedQueue.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/Constants.h \
  /Users/audemard/Sat/Src/syrup/simp/../mtl/Clone.h \
  /Users/audemard/Sat/Src/syrup/simp/../core/SolverStats.h \
  /Users/audemard/Sat/Src/syrup/simp/../utils/System.h