Mailinglist Archive: zypp-devel (52 mails)
| < Previous | Next > |
Re: [zypp-devel] Replacing satsolver(C) by libriss(C++)
- From: Arvin Schnell <aschnell@xxxxxxx>
- Date: Wed, 21 Sep 2011 10:46:08 +0200
- Message-id: <20110921084607.GA32039@suse.de>
On Wed, Sep 21, 2011 at 10:19:55AM +0200, Stephan Kulow wrote:
And C++11 can even be short:
vector<vector<int>> formula = { { 1, -2 }, { -1, 2 } };
ciao Arvin
--
To unsubscribe, e-mail: zypp-devel+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-devel+help@xxxxxxxxxxxx
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);
And C++11 can even be short:
vector<vector<int>> formula = { { 1, -2 }, { -1, 2 } };
ciao Arvin
--
To unsubscribe, e-mail: zypp-devel+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-devel+help@xxxxxxxxxxxx
| < Previous | Next > |