public void Dispose() { UnderlyingSolver.Dispose(); }
public void Dispose() { SolverImpl.Dispose(); }
public void Dispose() { Cache.Clear(); UnderlyingSolver.Dispose(); }
public void Dispose() { UnderlyingImpl.Dispose(); }