Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-12-04 | Imported Upstream version 0.6.35upstream/0.6.35 | DongHun Kwak | 1 | -11/+11 |
2018-11-30 | Imported Upstream version 0.6.27upstream/0.6.27 | DongHun Kwak | 1 | -31/+39 |
2013-04-05 | make queue_insertn more flexible | Michael Schroeder | 1 | -2/+5 |
2012-04-16 | - add map_or and queue_prealloc | Michael Schroeder | 1 | -0/+16 |
2011-07-12 | - rename all sat_ to solv_ | Michael Schroeder | 1 | -5/+5 |
2011-04-18 | - remove stray semicolon. duh | Michael Schroeder | 1 | -1/+1 |
2009-06-17 | - beautify | Michael Schroeder | 1 | -10/+18 |
2009-06-16 | - add queue_insertn, queue_deleten, queue_truncate | Michael Schroeder | 1 | -0/+37 |
2009-06-15 | - code cleanup | Michael Schroeder | 1 | -19/+36 |
2009-06-08 | - update transaction ordering code | Michael Schroeder | 1 | -0/+51 |
2009-05-26 | - split problem handling from solver.c | Michael Schroeder | 1 | -1/+1 |
2008-01-09 | - rename xmalloc/... functions to sat_malloc, as we're a | Michael Schroeder | 1 | -4/+4 |
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 | -48/+24 |
2007-10-02 | current state of 'sat-solver' | Klaus Kaempf | 1 | -0/+94 |