From bc0899523d664081b24c9730e8dd5f07cc161382 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Wed, 5 Feb 2025 15:19:26 +0000
Subject: [PATCH] Prepare v0.5.0

---
 CHANGES.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 5c2dfdd3..a886e37d 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -4,6 +4,10 @@
 ### Fixed
 ### Changed
 
+## v0.5.0
+
+### Changed
+
 - Removes `satisfiability` type
 
 ## v0.4.1