From 9fb816496d392638fa6981e71800466d71434680 Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Wed, 8 Apr 2026 14:58:51 +0200
Subject: changed name

---
 examples/verify.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'examples/verify.py')

diff --git a/examples/verify.py b/examples/verify.py
index 046ec0b..65fb989 100644
--- a/examples/verify.py
+++ b/examples/verify.py
@@ -2,10 +2,10 @@ import sys, os
 sys.path.append(os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
 
 import z3
-import nneq
+import vein
 
 def check_property(onnx_a, onnx_b, vnnlib):
-    solver = nneq.Solver()
+    solver = vein.Solver()
 
     print(f"--- Checking {vnnlib} ---")
 
-- 
cgit v1.2.3