[ADD] conda env file.

ytsao · ytsao · commit 13ceb1a74eff · 2025-05-22T15:11:19.000+02:00
[MODIFIED] ignore dataset folder.
diff --git a/.gitignore b/.gitignore
@@ -161,5 +161,6 @@ cython_debug/
 #  option (not recommended) you can uncomment the following to ignore the entire idea folder.
 #.idea/
 
-.lp
-.vnnlib
+*.lp
+
+dataset/
diff --git a/environment.yml b/environment.yml
@@ -0,0 +1,4 @@
+name: complete_verify
+channels:
+  - https://repo.anaconda.com/pkgs/main
+  - https://repo.anaconda.com/pkgs/r
