Metadata-Version: 2.1
Name: maude
Version: 1.5.0
Summary: Python bindings for Maude
Author-Email: ningit <ningit@users.noreply.github.com>
License: GPLv2
Classifier: Intended Audience :: Science/Research
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering
Classifier: Operating System :: OS Independent
Project-URL: Homepage, https://github.com/fadoss/maude-bindings
Project-URL: Bug tracker, https://github.com/fadoss/maude-bindings/issues
Project-URL: Documentation, https://fadoss.github.io/maude-bindings
Project-URL: Source code, https://github.com/fadoss/maude-bindings
Description-Content-Type: text/markdown

Python bindings for Maude
=========================

Python bindings for [Maude](https://maude.cs.illinois.edu) using [SWIG](https://www.swig.org).

The `maude` package allows manipulating terms, modules, and other entities of the Maude specification language as Python objects, whose methods expose the operations available as commands in the Maude interpreter.

See the [repository](https://github.com/fadoss/maude-bindings) for additional information, documentation, and examples.
