20,472 followers
@HeidyKhlaaf @dsyme Okay, I'm gonna have to ask for your help on this one. Obvs automatic proving has a really long history, but I'm having trouble finding any examples of SMT specifically before 2002 (with CVC). Best I can find is this SVC paper from 1996