Minotaur 0.4.1
Docs for developers
|
EngineFactory class finds a suitable engine. More...
#include "MinotaurConfig.h"
#include "EngineFactory.h"
#include "Environment.h"
#include "LPEngine.h"
#include "NLPEngine.h"
#include "Option.h"
#include "QPEngine.h"
EngineFactory class finds a suitable engine.