smtlib2 v1.0 Release Notes

Release Date: 2017-01-05 // almost 5 years ago