smt-solver-interface topic