From fc505b6b171a2d54c3bad6078031b028b55131d3 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 14 Jul 2019 00:56:19 +0200 Subject: Polyhedron abstraction with Z3 for cardinality propagation --- Solvers/SMT-Solver/com.microsoft.z3/build.properties | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 Solvers/SMT-Solver/com.microsoft.z3/build.properties (limited to 'Solvers/SMT-Solver/com.microsoft.z3/build.properties') diff --git a/Solvers/SMT-Solver/com.microsoft.z3/build.properties b/Solvers/SMT-Solver/com.microsoft.z3/build.properties new file mode 100644 index 00000000..87f4e73f --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/build.properties @@ -0,0 +1,3 @@ +bin.includes = META-INF/,\ + lib/,\ + com.microsoft.z3.jar -- cgit v1.2.3-70-g09d2