summaryrefslogtreecommitdiff
path: root/src/evr.h
AgeCommit message (Expand)AuthorFilesLines
2013-10-16remove trailing whitespaceMichael Schroeder1-1/+1
2011-07-12- rename all sat_ to solv_Michael Schroeder1-1/+1
2011-06-03- remove obsolete interface, add decisioncnt_{weak,orphan}Michael Schroeder1-20/+0
2011-05-24- do not use obsolete interface in libsolv library itselfMichael Schroeder1-0/+2
2011-05-24rename satsolver -> libsolvMichael Schroeder1-3/+3
2011-05-02- clean up function names for shared libraryMichael Schroeder1-4/+23
2010-05-28- add SOLVER_SET bits to tell solver which properties of a job are intended b...Michael Schroeder1-3/+4
2009-06-22evr doesn't change the Pool: more constnessKlaus Kämpf1-3/+3
2008-01-14- add evrcmp_str for maMichael Schroeder1-0/+1
2007-12-21- add evrmatchMichael Schroeder1-0/+1
2007-12-10- add evrcmp mode parameterMichael Schroeder1-2/+6
2007-11-21use SATSOLVER_ prefix in include guardsMichael Andres1-3/+3
2007-11-08- add a licenseMichael Schroeder1-0/+7
2007-10-20I need C++ here too.Michael Matz1-0/+8
2007-10-02current state of 'sat-solver'Klaus Kaempf1-0/+14