Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-11-30 | Imported Upstream version 0.6.30upstream/0.6.30 | DongHun Kwak | 1 | -0/+25 |
2018-11-30 | Imported Upstream version 0.6.29upstream/0.6.29 | DongHun Kwak | 1 | -28/+3 |
2016-10-27 | Imported Upstream version 0.6.12upstream/0.6.12 | DongHun Kwak | 1 | -1/+17 |
2016-10-27 | Imported Upstream version 0.6.11upstream/0.6.11 | DongHun Kwak | 1 | -3/+0 |
2016-10-27 | Imported Upstream version 0.6.9upstream/0.6.9 | DongHun Kwak | 1 | -2/+2 |
2014-02-12 | refactor a bit | Michael Schroeder | 1 | -1/+7 |
2012-01-17 | - add include guard for chksum.h | Michael Schroeder | 1 | -3/+3 |
2012-01-09 | - hide solver internals | Michael Schroeder | 1 | -180/+1 |
2011-06-20 | - change transaction_init to transaction_create, add solver flag setting/getting | Michael Schroeder | 1 | -2/+0 |
2011-06-06 | - add decision introspection (untested) | Michael Schroeder | 1 | -0/+3 |
2011-06-03 | - remove obsolete interface, add decisioncnt_{weak,orphan} | Michael Schroeder | 1 | -0/+3 |
2011-05-25 | - add solver_private.h, make repo_ functions return an int, make solver_solv ... | Michael Schroeder | 1 | -0/+251 |