We present DryadSynth , a concolic SyGuS (Syntax-Guided Synthesis) solver. The synthesis algorithm is CEGIS-based and combines enumerative search and symbolic search. By using this approach, we achieved fair performance in solving Linear Integer Algebra Synthesis problems and achieved outstanding performance in solving Loop Invariant Synthesis problems.