#include "orderresolver.h"
#include "integerencoding.h"
#include "qsort.h"
+#include "preprocess.h"
CSolver::CSolver() :
boolTrue(BooleanEdge(new BooleanConst(true))),
long long startTime = getTimeNano();
computePolarities(this);
+ Preprocess pp(this);
+ pp.doTransform();
+
DecomposeOrderTransform dot(this);
dot.doTransform();