GitHub repository: postechsv/maude-se
Primary language: C++
Description: An SMT extension of Maude