Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2014-02-12 | refactor a bit | Michael Schroeder | 1 | -1/+7 | |
- clean up comments in rule generation - refactor is_otherproviders_dep helper function - treat COND as AND in supplements handling - special case OR in supplements handling so that AND functionality does not get lost | |||||
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 | |
return the problem count |