public void Dispose()
 {
     Solver.Dispose();
     Monitors.Clear();
     Expressions.Clear();
 }