Efficient SMT solver library
