From 207b2a1586962ea3a57540dbcd969be6ad6ea412 Mon Sep 17 00:00:00 2001
From: Christoph Jabs <98587286+chrjabs@users.noreply.github.com>
Date: Thu, 11 Jan 2024 11:26:40 +0200
Subject: [PATCH] Adjust changelogs

---
 glucose/CHANGELOG.md | 1 -
 minisat/CHANGELOG.md | 1 -
 tools/CHANGELOG.md   | 5 +++--
 3 files changed, 3 insertions(+), 4 deletions(-)

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