Builds TheraklesSolver