danielbinder / LogiVis

A teaching aid for concepts and algorithms in logic
MIT License
2 stars 0 forks source link

Create feature stepping through solution #34

Open danielbinder opened 8 months ago

danielbinder commented 8 months ago

We want to be able to step through the solution process. For now, this could be done by e.g. adding play, reset, next step and previous step buttons below the solution information and parsing e.g. state names out of the current line of the solution information and highlighting the corresponding states (we know the state names from the model field). If possible, highlight the current line in the solution information. Consider numbering lines, so lines are unique, since common solution approaches work with RegEx and RegEx can check for start of line. For this, consider using an existing, but not yet used color from the index.css on the top. Some solution info may contain parts of formulas - also mark them if possible.