Package org.sosy_lab.java_smt.delegate.synchronize

@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault package org.sosy_lab.java_smt.delegate.synchronize
The classes of this package wrap the whole solver context and all corresponding proving environment and synchronize all accesses to it.

This allows us to use a plain sequential solver in a concurrent context, i.e., we can create formulae and solve queries from multiple interleaving threads without any synchronization from the user.