The following downloads include Maude built as a library to be linked with other programs (from the specials and windows+specials branches of this repository). They are statically linked with the Yices2 SMT solver.
Complete and ready-to-use distributions of Maude with the strategy-aware model checker can be downloaded from maude.ucm.es/strategies.