package smtml

make () creates a new optimizer.

push optimizer pushes a new context level onto the optimizer optimizer.

pop optimizer pops a context level from the optimizer optimizer.

add optimizer ts adds the terms ts to the optimizer optimizer.

check optimizer checks the satisfiability of the optimizer optimizer. Returns `Sat, `Unsat, or `Unknown.

model optimizer retrieves the model from the optimizer optimizer, if one exists.

maximize optimizer t maximizes the term t in the optimizer optimizer.

minimize optimizer t minimizes the term t in the optimizer optimizer.

interrupt () interrupts the current optimizer operation.

get_statistics optimizer retrieves statistics from the optimizer optimizer.

pp_statistics fmt optimizer pretty-prints the statistics of the optimizer optimizer using the formatter fmt.