summaryrefslogtreecommitdiff
path: root/src/solver_private.h
AgeCommit message (Expand)AuthorFilesLines
2018-11-30Imported Upstream version 0.6.30upstream/0.6.30DongHun Kwak1-0/+25
2018-11-30Imported Upstream version 0.6.29upstream/0.6.29DongHun Kwak1-28/+3
2016-10-27Imported Upstream version 0.6.12upstream/0.6.12DongHun Kwak1-1/+17
2016-10-27Imported Upstream version 0.6.11upstream/0.6.11DongHun Kwak1-3/+0
2016-10-27Imported Upstream version 0.6.9upstream/0.6.9DongHun Kwak1-2/+2
2014-02-12refactor a bitMichael Schroeder1-1/+7
2012-01-17- add include guard for chksum.hMichael Schroeder1-3/+3
2012-01-09- hide solver internalsMichael Schroeder1-180/+1
2011-06-20- change transaction_init to transaction_create, add solver flag setting/gettingMichael Schroeder1-2/+0
2011-06-06- add decision introspection (untested)Michael Schroeder1-0/+3
2011-06-03- remove obsolete interface, add decisioncnt_{weak,orphan}Michael Schroeder1-0/+3
2011-05-25- add solver_private.h, make repo_ functions return an int, make solver_solv ...Michael Schroeder1-0/+251