About Maude SE
Maude-SE is a rewriting modulo SMT extension of Maude, which is a flexible yet efficient framework for connecting SMT solvers to Maude. It supports symbolic reachability analysis with folding, an SMT check with various SMT theories, and an abstract connector at the Python level that makes it easy to integrate and customize SMT solving, without having to understand Maude’s internal implementation.
Bug report
To report bugs (or provide any suggestions), please contact maude-se@postech.ac.kr.