About MaudeSE
MaudeSE is a rewriting modulo SMT extension of Maude. It is a flexible yet efficient framework for connecting SMT solvers to Maude. It supports various analysis commands, including symbolic reachability analysis and satisfiability checking under various SMT theories. It also provides an abstract connector at the Python level which makes it easy to integrate and customize SMT solvers without needing to understand Maude’s internal implementation.
Bug report
To report bugs or provide suggestions, contact maude-se@postech.ac.kr or open an issue on our GitHub repository: https://github.com/postechsv/maude-se/issues.