new version

diff --git a/VERSION.cmake b/VERSION.cmake
index e82a45c75d7783d93381c6b29fc1d8b29d0e0ca9..7454cebf1b3734cf761ca5ed3f25ca083aa3949e 100644 (file)
--- a/VERSION.cmake
+++ b/VERSION.cmake
@@ -46,5 +46,5 @@
 
 SET(LIBSATSOLVER_MAJOR "0")
 SET(LIBSATSOLVER_MINOR "0")
-SET(LIBSATSOLVER_PATCH "31")
+SET(LIBSATSOLVER_PATCH "32")
 

diff --git a/package/libsatsolver.changes b/package/libsatsolver.changes
index 3ceefb1fd3854a19d90d57610283c1956f9679f5..36b6eff34e8d1d5171245e19eafdb1355af0dedc 100644 (file)
--- a/package/libsatsolver.changes
+++ b/package/libsatsolver.changes
@@ -1,3 +1,18 @@
+-------------------------------------------------------------------
+Mon May  5 16:24:14 CEST 2008 - coolo@suse.de
+
+- add obsoleteusesprovides and implicitobsoleteusesprovides solver
+  flags
+- speed up solving by not recreating the watch chains every time
+  some rule is enabled/disabled. To do this, the "disabled" flag
+  had to be moved from w1 to d.
+- fix bug that broke rule disabling when "forceResolve" was true
+- fix bug in update rule calculation
+- speed up solver a bit by creating a queue holding all assertion
+  rules, so we do not have to scan all rules for assertions
+- parse also DISTPRODUCT and DISTVERSION (for registration), and the other
+  (often unused) attributes of products.
+
 -------------------------------------------------------------------
 Mon Apr 28 19:36:54 CEST 2008 - coolo@suse.de