21 Sep
2011
21 Sep
'11
08:19
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@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org