root=..
sources=clause.cc infer.cc symbol.cc attribute.cc stl_tim.cc timstat.cc clauseset.cc subsumptionindex.cc resolutionindex.cc

include $(root)/Makefile.inc
