Sundance: A Simple SMT Solver for Program Verification

New paper I'm proud to be involved in: arXiv

I primarily worked on the linear integer arithmetic component and it's interface with the rest of the solver.