From 9d6830600b15ed8c2de975b1acfe93bf7e07ba09 Mon Sep 17 00:00:00 2001 From: Karlheinz Friedberger Date: Sat, 12 Oct 2024 15:08:49 +0200 Subject: [PATCH] #380: make basic configurations for Z3 public. Let the user decide what to load, e.g. on a minimal system only load for one specific OS and arch. --- solvers_ivy_conf/ivy_z3.xml | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/solvers_ivy_conf/ivy_z3.xml b/solvers_ivy_conf/ivy_z3.xml index 51a999c915..0aba0d25d2 100644 --- a/solvers_ivy_conf/ivy_z3.xml +++ b/solvers_ivy_conf/ivy_z3.xml @@ -26,19 +26,20 @@ SPDX-License-Identifier: Apache-2.0 - + - - - - - - - + + + + + + + +