maude

reflective language for equational and rewriting logic specification
http://maude.cs.illinois.edu

Current version
2.7.1

Revision: 1

maude requires the following formulae to be installed:
gmp 6.1.2 GNU multiple precision arithmetic library
libsigsegv 2.11 Library for handling page faults in user mode
libtecla 1.6.3 Command-line editing facilities similar to the tcsh shell
flex 2.6.4 Fast Lexical Analyzer, generates Scanners (tokenizers)

Reverse dependencies

The following formula requires maude to be installed:
tamarin-prover 1.2.1_1 Automated security protocol verification tool

Formula history

Jorden Whitefield maude: depend on Flex for Linux