Function loadQuery

maraboupy/MarabouCore.cpp:564–567

}

InputQuery loadQuery( std::string filename )
{
    return QueryLoader::loadQuery( String( filename ) );
}

// Code necessary to generate Python library
// Describes which classes and functions are exposed to API