Update README.md

dynaroars · Feb 16, 2023 · 8c68240 · 8c68240
1 parent 38179d3
commit 8c68240
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -63,6 +63,11 @@ root@931ac8632c7f:/dig/src# time ~/miniconda3/bin/python3 -O dig.py  ../tests/tr
 ...
 
 # or on a C program
+
+# FASTER: restrict nonlinear eqts to degree 2 and but don't generate inequalities or minmax invariants and 
+root@931ac8632c7f:/dig/src# time ~/miniconda3/bin/python3 -O dig.py  ../benchmark/c/nla/cohendiv.c -maxdeg 2 -noieqs -nominmax -log 4
+
+# SLOWER: but gives everything
 root@931ac8632c7f:/dig/src# time ~/miniconda3/bin/python3 -O dig.py  ../benchmark/c/nla/cohendiv.c -log 4
 ...