Gymbo

libgymbo Directory Reference

## Files
file | compiler.h [code]
| Implementation of compiler.
file | gd.h [code]
| Implementation of gradient descent optimizer.
file | main.h [code]
| Main Header.
file | parser.h [code]
| Implementation of parser.
file | pipeline.h [code]
| Basic workloads of gradient-based symbolic execution.
file | psymbolic.h [code]
| Implementation of symbolic execution for randomized programs.
file | sat.h [code]
| Implementation of SAT solver.
file | smt.h [code]
| Core implementation of gradient-based smt solver.
file | symbolic.h [code]
| Core implementation of gradient-based symbolic execution.
file | tokenizer.h [code]
| Implementation of tokenizer.
file | type.h [code]
| Implementatations of basic alias, types, and classes.
file | utils.h [code]
| Utility funcitons and classes.