v0.2.1

• Added option to turn on/off inline code lens in the editor and solver time in the output

v0.2.0

• Added option to set the timeout for the solver
• Added a stop button to stop the solver
• Showing code lens on the current cursor position

v0.1.1

• Fixed smt2.run command not working
• Added logo

v0.1.0

• Initial release