diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
index 590e3c90..4af8dc6a 100644
--- a/glucose/CHANGELOG.md
+++ b/glucose/CHANGELOG.md
@@ -7,7 +7,6 @@ All notable changes to this project will be documented in this file.
 ### Bug Fixes
 
 - Build on non-linux
-- Test with minisat by default
 - Avoid pthread.h import
 
 ### Documentation
diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md
index 56156418..0e58ef2b 100644
--- a/minisat/CHANGELOG.md
+++ b/minisat/CHANGELOG.md
@@ -7,7 +7,6 @@ All notable changes to this project will be documented in this file.
 ### Bug Fixes
 
 - Build on non-linux
-- Test with minisat by default
 
 ### Documentation
 
diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md
index ee6b9102..9e3cec19 100644
--- a/tools/CHANGELOG.md
+++ b/tools/CHANGELOG.md
@@ -4,9 +4,10 @@ All notable changes to this project will be documented in this file.
 
 ## [0.2.2] - 2024-01-11
 
-### Bug Fixes
+### Features
 
-- Test with minisat by default
+- Select minisat/cadical via a cargo feature
+- Moved integration tests to main crate
 
 ### Documentation