assert
Assert an expression into solver and track it in unsat cores.
See also
Assert multiple expressions into solver and track them in unsat cores.
Assert an expression into solver and track it in unsat cores.
Assert multiple expressions into solver and track them in unsat cores.