update version number and CHANGELOG

Author: m4lvin

Diff for: CHANGELOG.md

@@ -4,6 +4,12 @@
 
 - ...
 
+## v0.3.0.0 (2025-01-01)
+
+- add `optimalOrder`
+- fix segfault on Apple M1 and ARM aarch64
+- minor improvements of documentation and tests
+
 ## v0.2.0.0 (2023-11-23)
 
 - rename `forall` (soon a keyword in GHC) to `forall_` and `exists` to `exists_`

Diff for: HasCacBDD.cabal

@@ -1,5 +1,5 @@
 name:                HasCacBDD
-version:             0.2.0.0
+version:             0.3.0.0
 synopsis:            Haskell bindings for CacBDD
 homepage:            https://github.com/m4lvin/HasCacBDD
 license:             GPL-2
@@ -34,7 +34,7 @@ source-repository head
 
 custom-setup
   setup-depends:       base >= 4.8 && < 5,
-                       Cabal < 3.9,
+                       Cabal < 3.13,
                        directory
 
 library