An Emacs major mode to edit and run SMTLIB v2 files
Primary LanguageEmacs LispGNU General Public License v3.0GPL-3.0