search

maude-lang / Maude

Language based on Rewriting Logic
GNU General Public License v2.0
78 stars 10 forks source link

CVC4 has been superseded by CVC5 - please update the project #7

Open yurivict opened 1 year ago

yurivict commented 1 year ago

https://cvc5.github.io/