GitHub repository: manasij7479/smt-mini-project
Primary language: C++
Description: Generate weakest precondition from a straight line program.