platform/upstream/libsolv - Domain: System / Base;

Age	Commit message (Expand)	Author	Files	Lines
2011-07-12	- rename all sat_ to solv_	Michael Schroeder	1	-1/+1
2011-06-03	- remove obsolete interface, add decisioncnt_{weak,orphan}	Michael Schroeder	1	-20/+0
2011-05-24	- do not use obsolete interface in libsolv library itself	Michael Schroeder	1	-0/+2
2011-05-24	rename satsolver -> libsolv	Michael Schroeder	1	-3/+3
2011-05-02	- clean up function names for shared library	Michael Schroeder	1	-4/+23
2010-05-28	- add SOLVER_SET bits to tell solver which properties of a job are intended b...	Michael Schroeder	1	-3/+4
2009-06-22	evr doesn't change the Pool: more constness	Klaus Kämpf	1	-3/+3
2008-01-14	- add evrcmp_str for ma	Michael Schroeder	1	-0/+1
2007-12-21	- add evrmatch	Michael Schroeder	1	-0/+1
2007-12-10	- add evrcmp mode parameter	Michael Schroeder	1	-2/+6
2007-11-21	use SATSOLVER_ prefix in include guards	Michael Andres	1	-3/+3
2007-11-08	- add a license	Michael Schroeder	1	-0/+7
2007-10-20	I need C++ here too.	Michael Matz	1	-0/+8
2007-10-02	current state of 'sat-solver'	Klaus Kaempf	1	-0/+14