Solvers for a subset of Syntax-Guided Synthesis problem.

This is the second term project of the course Software Analysis.

The tests only include:

• Int sort
• One synth-fun expression.
• No define-fun expression

For details, see report.md and slides.pdf.