From 8f4f24523235965cfa2041ed00cc40fc0b4bd367 Mon Sep 17 00:00:00 2001 From: ericmarin Date: Fri, 10 Apr 2026 15:06:56 +0200 Subject: added MNIST, changed cache and parser --- examples/iris/iris_epsilon.vnnlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/iris/iris_epsilon.vnnlib') diff --git a/examples/iris/iris_epsilon.vnnlib b/examples/iris/iris_epsilon.vnnlib index 9c8e825..df691c4 100644 --- a/examples/iris/iris_epsilon.vnnlib +++ b/examples/iris/iris_epsilon.vnnlib @@ -1,4 +1,4 @@ -; Strict Equivalence for Iris +; Epsilon Equivalence for Iris ; Constant declaration (declare-const X_0 Real) -- cgit v1.2.3