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/ACASXU/ACASXU_epsilon.vnnlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/ACASXU/ACASXU_epsilon.vnnlib') diff --git a/examples/ACASXU/ACASXU_epsilon.vnnlib b/examples/ACASXU/ACASXU_epsilon.vnnlib index 0ca04f8..2cbcd36 100644 --- a/examples/ACASXU/ACASXU_epsilon.vnnlib +++ b/examples/ACASXU/ACASXU_epsilon.vnnlib @@ -1,4 +1,4 @@ -; Strict Equivalence for ACASXU +; Epsilon Equivalence for ACASXU ; Constant declaration (declare-const X_0 Real) -- cgit v1.2.3