From 258e229a9c17bdffabfeab273eb3811c68f5b47a Mon Sep 17 00:00:00 2001
From: Tony-HYX <605698554@qq.com>
Date: Fri, 15 Dec 2023 17:55:48 +0800
Subject: [PATCH] [ENH] Add example code of tabular dataset

---
 examples/zoo/zoo.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/zoo/zoo.py b/examples/zoo/zoo.py
index 8ae79db..e3cda15 100644
--- a/examples/zoo/zoo.py
+++ b/examples/zoo/zoo.py
@@ -13,6 +13,7 @@ class ZooKB(KBBase):
     def __init__(self):
         super().__init__(pseudo_label_list=list(range(7)), use_cache=False)
         
+        # Use z3 solver 
         self.solver = Solver()
 
         # Load information of Zoo dataset