Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-04-05 | make queue_insertn more flexible | Michael Schroeder | 1 | -1/+1 |
2013-04-02 | Make all public libsolv headers C++ safe | Ingo Weinhold | 1 | -0/+8 |
2012-04-16 | - add map_or and queue_prealloc | Michael Schroeder | 1 | -0/+1 |
2011-05-24 | rename satsolver -> libsolv | Michael Schroeder | 1 | -3/+3 |
2009-06-16 | - add queue_insertn, queue_deleten, queue_truncate | Michael Schroeder | 1 | -13/+17 |
2009-06-08 | - update transaction ordering code | Michael Schroeder | 1 | -0/+5 |
2009-05-26 | - split problem handling from solver.c | Michael Schroeder | 1 | -6/+40 |
2007-11-21 | use SATSOLVER_ prefix in include guards | Michael Andres | 1 | -3/+3 |
2007-11-08 | - add a license | Michael Schroeder | 1 | -0/+7 |
2007-10-29 | - rename queue* to queue_*, inline a bit more | Michael Schroeder | 1 | -8/+46 |
2007-10-02 | current state of 'sat-solver' | Klaus Kaempf | 1 | -0/+30 |