From 0375aa61c2554d8df3eab1c65c42e267b9bcf283 Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Thu, 15 Feb 2024 18:13:35 +0100
Subject: [PATCH] update changes + versions

---
 .github/conda/conda_build_config.yaml | 4 ++--
 .github/workflows/main.yml            | 2 +-
 CHANGES.md                            | 4 ++++
 libclingo-dl/clingo-dl.h              | 6 +++---
 third_party/catch                     | 2 +-
 5 files changed, 11 insertions(+), 7 deletions(-)

diff --git a/.github/conda/conda_build_config.yaml b/.github/conda/conda_build_config.yaml
index 6339369f..4bc42826 100644
--- a/.github/conda/conda_build_config.yaml
+++ b/.github/conda/conda_build_config.yaml
@@ -1,9 +1,9 @@
 python:
-    - 3.6
-    - 3.7
     - 3.8
     - 3.9
     - 3.10
+    - 3.11
+    - 3.12
 
 clingo:
     - 5.7
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 281e1a2c..f5417308 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -12,7 +12,7 @@ jobs:
       fail-fast: false
       matrix:
         os: ['ubuntu-latest', 'macos-latest', 'windows-latest']
-        python-version: ['3.7']
+        python-version: ['3.10']
         include:
           - os: 'ubuntu-latest'
             generator: 'Ninja'
diff --git a/CHANGES.md b/CHANGES.md
index ff81264c..5a8eb9b9 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,9 @@
 # Changes
 
+## clingo-dl 1.5.0
+  * add dl-specific heuristic (#71)
+  * update to clingo 5.7.0
+
 ## clingo-dl 1.4.0
   * add support for ASPIF parsing
   * improve shifting of zero node
diff --git a/libclingo-dl/clingo-dl.h b/libclingo-dl/clingo-dl.h
index baf92679..da98a133 100644
--- a/libclingo-dl/clingo-dl.h
+++ b/libclingo-dl/clingo-dl.h
@@ -30,11 +30,11 @@
 //! Major version number.
 #define CLINGODL_VERSION_MAJOR 1
 //! Minor version number.
-#define CLINGODL_VERSION_MINOR 4
+#define CLINGODL_VERSION_MINOR 5
 //! Revision number.
-#define CLINGODL_VERSION_REVISION 1
+#define CLINGODL_VERSION_REVISION 0
 //! String representation of version.
-#define CLINGODL_VERSION "1.4.1"
+#define CLINGODL_VERSION "1.5.0"
 
 #ifdef __cplusplus
 extern "C" {
diff --git a/third_party/catch b/third_party/catch
index 97c48e0c..4570fca2 160000
--- a/third_party/catch
+++ b/third_party/catch
@@ -1 +1 @@
-Subproject commit 97c48e0c343d26d50764fafdc90b1e630fbd10ce
+Subproject commit 4570fca24b2fd04f82f2376b090abfa5dde965c3