Function main

contribs/quacode/examples/rndQCSP.cpp:180–188

};

int main(int argc, char* argv[])
{

    RndQCSPOptions opt("RndQCSP Problem");
    opt.parse(argc,argv);
    Script::run<RndQCSP,QDFS,RndQCSPOptions>(opt);

    return 0;
}