Mailinglist Archive: zypp-devel (52 mails)

[Stephan Kulow <coolo@xxxxxxx>]

Am Mittwoch, 21. September 2011 schrieb Michael Andres:
> Just kidding, but ....
> http://gitorious.org/riss

C++ can be so sexy:

        vector< vector<int> >formula;
        
        vector<int> clause;
        clause.push_back(1);
        clause.push_back(-2);
        formula. push_back(clause);
        
        clause.clear();
        clause.push_back(-1);
        clause.push_back(2);

        formula. push_back(clause);
        
        vector<int> solution;
        Riss riss;
        int result = riss.solve( formula, solution, "-CP_off=1" );

:)

Greetings, Stephan
-- 
To unsubscribe, e-mail: zypp-devel+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-devel+help@xxxxxxxxxxxx