set(src
  Solver.cpp
)


add_sources(solver "${src}")
