From 0f2b316d6bf129ecf9e69b90ff223780a4972a20 Mon Sep 17 00:00:00 2001 From: Wouter Born Date: Wed, 8 Jan 2025 09:52:29 +0100 Subject: [PATCH] Check SAT with SAT 0.17.0 (#476) Signed-off-by: Wouter Born --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index c94abc4c..770a9cf8 100644 --- a/pom.xml +++ b/pom.xml @@ -76,7 +76,7 @@ 3.13.0 2.4.0 1.7.1 - 0.16.0 + 0.17.0 2.1.0 0.64.0 3.5.2