#include <sstream>
#include <string>
#include <stdexcept>
#include "capd/dynsys/FirstOrderEnclosure.h"
#include "capd/dynsys/SolverException.h"