Package de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2

Interface Summary

Interface	Description
TerminationRequest	An asynchronous user cancellation request proxy.

Class Summary

Class	Description
SMTInterpol	Implementation of the Script interface to interact with SMTInterpol.

Enum Summary

Enum	Description
SMTInterpol.CheckType