Include file:
#include "mcrl2/smt/solver.h"
mcrl2::smt::smt_solver
mcrl2/smt/native_translation.h
mcrl2/smt/translate_expression.h
