Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |