root=..
sources=clause_handle.cc linear_set.cc inference_rule_edge_labeling.cc mapper_snf_to_ltl.cc misc.cc pclause_resolution_map.cc resolution_graph.cc semi_linear_set.cc unsat_core_writer.cc

include $(root)/Makefile.inc
