/*
 *  strategy_wrapper.h
 *  PolyBoRi
 *
 *  Created by Michael Brickenstein on 21.04.06.
 *  Copyright 2006 The PolyBoRi Team. See LICENSE file.
 *
 */
class PolynomialIsZeroException{};
void export_strategy();
