solvers/smt2_incremental/encoding
util
