diff options
| author | mirenn <me@mirenn.dev> | 2026-03-10 11:05:26 +0100 |
|---|---|---|
| committer | mirenn <me@mirenn.dev> | 2026-03-10 12:05:35 +0100 |
| commit | 4a6246cdb0ed60355db6707ba23a5da45c87bb7a (patch) | |
| tree | 2a1594ab6f8d2cfeb784dee80e2d830d9999e4a5 /test.smt2 | |
| parent | 4e3d71222eaef37f7b23c29b7a0b417ab9829c58 (diff) | |
| download | vein-4a6246cdb0ed60355db6707ba23a5da45c87bb7a.tar.gz vein-4a6246cdb0ed60355db6707ba23a5da45c87bb7a.zip | |
added prover script
Diffstat (limited to '')
| -rw-r--r-- | test.smt2 | 7 |
1 files changed, 0 insertions, 7 deletions
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) |