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

Age	Commit message (Collapse)	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 ↵	Michael Schroeder	1	-3/+4
	by the user - add policy_is_illegal check function - rework solv package select function to use new SET bits
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
	- first shot at adding file provides
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
	- don't branch for supplemented packages - fix off by one in minimize queue revert code
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