add singular matrix 2x2 problem

mpelleau · Oct 22, 2024 · 6e4ceb4 · 6e4ceb4
1 parent 01b2a8f
commit 6e4ceb4
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/problems/singular.abs b/problems/singular.abs
@@ -0,0 +1,8 @@
+init{                                
+  int v3 = [0; 100];
+  int v2 = [0; 100];
+  int v1 = [0; 100];
+  int v0 = [0; 100]
+}constraints{
+   abs(((v3 * v0) - (v2 * v1))) < 1.00000000001e-09
+}