check
abstract fun checkWithAssumptions(assumptions: List<KExpr<KBoolSort>>, timeout: Duration = Duration.INFINITE): KSolverStatus
Performs satisfiability check of currently asserted expressions and provided assumptions.
In case of KSolverStatus.UNSAT result assumptions are used for unsat core generation.