21 Sep
2011
21 Sep
'11
08:46
On Wed, Sep 21, 2011 at 10:19:55AM +0200, Stephan Kulow wrote:
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