Metadata-Version: 2.1
Name: maude
Version: 0.5
Summary: Python bindings for Maude
Home-page: https://github.com/fadoss/maude-bindings
Author: ningit
Author-email: ningit@users.noreply.github.com
License: GPLv2
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
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Science/Research
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering
Classifier: Operating System :: OS Independent
Description-Content-Type: text/markdown

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

Experimental Python bindings for [Maude](http://maude.cs.illinois.edu) using [SWIG](http://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.


