From 5caaac9d17e319fa333511542a734a5dd0dba336 Mon Sep 17 00:00:00 2001 From: Wouter Born Date: Sat, 15 Jun 2024 11:37:28 +0200 Subject: [PATCH] Check SAT with SAT 0.16.0 (#466) Signed-off-by: Wouter Born --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 688f99ad..9b80e8ce 100644 --- a/pom.xml +++ b/pom.xml @@ -76,7 +76,7 @@ 3.11.0 2.4.0 1.7.1 - 0.15.0 + 0.16.0 2.1.0 0.64.0 3.1.2