Solving a grounded theory in Lua

[JoD]

Currently, there are two methods related to the model expansion of a given theory and structure:

modelexpand(theory,structure)

and

ground(theory,structure)

The first method grounds a given theory and structure, and feeds the result to a solver. The second method does only the first grounding step, and returns a ground theory. It would be useful to also provide a lua method

solve(groundtheory)

to allow the user to split up both steps (for instance for benchmark purposes).