root=..
sources=clause_handle.cc linear_set.cc misc.cc pclause_triple_store.cc resolution_graph.cc semi_linear_set.cc unsat_core_writer.cc

include $(root)/Makefile.inc
