Added a generic solver component that any SMT solver may be used internally.