Initial release

nsg-ethz · Jan 28, 2025 · 22f5c4b · 22f5c4b
1 parent 80b31d2
commit 22f5c4b
Show file tree

Hide file tree

Showing 34 changed files with 11,913 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,12 @@
+/target
+/proptest-regressions
+*.csv
+*.ipynb
+ipynb_checkpoints/
+tm-analysis.py
+measurements/*.csv
+plots/old_gridsearch_data
+plots/data
+Pipfile
+Pipfile.lock
+gurobi.log