Underdetermined World Concretizer

Python implementation of an Underdetermined World Concretizer using Maude configurations as inputs and outputs

Running the Python script:

$ python3 expansion_script.py path_to_init_config output_directory

An example which should work after cloning the repository:

$ python3 expansion_script.py configs/relative-time.maude outputs

Assumptions

• It's assumed that all inital configurations in the maude input file have unique names, if not the script will not generate multiple scenarios for all of them (some will be overwritten).
• The input file consists only of configurations (no other kinds of equations or rewrite rules).
• The script uses regular expressions in python to search and replace the keyword 'unknown' in specific contexts in the maude initial configuration. So it's assumed that the input file follows a specific structure which can be seen examples of in the configs directory. Currently there's very little exception handling for when the input file doesn't follow the assumed structure.

Other

• The script has been developed and tested in Python 3.5.2, but it will probably work for most (all?) versions of Python 3.
• It's important that UnknownReplacer.py is located in the same directory as expansion_script.py.