From 7933d744e06337f1d69b7da83f2cee1611556097 Mon Sep 17 00:00:00 2001 From: ericmarin Date: Tue, 10 Mar 2026 11:05:26 +0100 Subject: added prover script --- test.smt2 | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 test.smt2 (limited to 'test.smt2') diff --git a/test.smt2 b/test.smt2 deleted file mode 100644 index 79d05c6..0000000 --- a/test.smt2 +++ /dev/null @@ -1,7 +0,0 @@ -(declare-const x_0 Real) -(declare-const x_1 Real) -(define-fun net_a () Real (+ (* x_0 2) 3)) -(define-fun net_b () Real (+ 3 (* 2 x_0))) -(assert (> (abs (- net_a net_b)) 0.0000100000)) -(check-sat) -(get-model) -- cgit v1.2.3