|
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.