FYP on using e-graphs to solve smt bitvector problems - View it on GitHub