| Candidates | |
| Cost | Measture the cost of term |
| FunctionIngredients | |
| Preprocessor | |
| Solver | Dealing with solver methods |
| Stringfier | |
| Terms | this has the methods which are relevant with term in ast |
| Transformer | related with transformation |
| Z3solver | All methods which use z3 library are in here |
| Ast | |
| IntermediateTypes | |
| Io | |
| ListMethods | |
| PrintMethods | |
| Search | In this module, find the correct body of given Ast by iterative search |
| Verifier | verify the answer of sygus string |