Diades.cc

Go to the documentation of this file.

#include<iostream>
#include<console/Console.hh>

int main()
{
  Console::ModelManager * pManager = new  Console::ModelManager();
  Console::startConsole(std::cin,std::cout,*(pManager));
  delete pManager;
}