New variation on the equation system solver.

Much simpler to understand. Basically have a variable assignment which
is dynamic and updates with the strategy changes. Similarly have
strategy changes easily invalidate the variable assignment.

This makes them strongly inter-dependent, but simplifies the
implementation considerably. Proving it should be easier like this, too.

1 files changed, 0 insertions, 0 deletions

diff --git a/impl/parser/EquationSystemLexer.o b/impl/parser/EquationSystemLexer.o
new file mode 100644
index 0000000..a0acfea
--- /dev/null
+++ b/impl/parser/EquationSystemLexer.o