From 6e4ceb492df51707fdccec4da44e5be3d0659a26 Mon Sep 17 00:00:00 2001
From: ghilesZ <ghiles.ziat@gmail.com>
Date: Tue, 22 Oct 2024 22:36:21 +0200
Subject: [PATCH] add singular matrix 2x2 problem

---
 problems/singular.abs | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 problems/singular.abs

diff --git a/problems/singular.abs b/problems/singular.abs
new file mode 100644
index 00000000..fb1e9f7d
--- /dev/null
+++ 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
+}