Solve a finite equation system.
Solve a finite equation system.
type of the unknowns for the equation system
type of values of the equatiom system
equation system to solve
a assignment to start the evaluation (defaults to eqs.initial
)
a tracer to track the behaviour of the solver (defaults to the empty tracer)
the solution of the equation system
A fixpoint solver based on a worklist.