# Makefile

SOURCES=\
	  opt.ml \
	  debug.ml \
	  problem.ml \
	  checker.ml \
	  numbering.ml \
	  clauses.ml \
	  dumper.ml \
	  functional_queue.ml \
	  persistent_queue.ml \
          persistent_queue.mli \
	  real_time_queue.ml \
          real_time_queue.mli \
	  solver.ml \
	  metric.ml \
	  globals.ml \
	  solver3.ml \
	  human.ml \
	  main.ml
NAME     = tart
REQUIRES = threads util io

include Makefile.exec
