diff options
| author | funemy | 2022-10-25 09:18:23 +0000 |
|---|---|---|
| committer | funemy | 2022-10-25 09:18:23 +0000 |
| commit | cf530ca49024dbdac4234c52a6838fb209ab6cb6 (patch) | |
| tree | 29176aa1eb56d1c54e1f6df038e8738fd384e8a5 /entries/funemy/z3 | |
| parent | 600860ba1a35df6e003a6f5cdab6fbf65cbd698d (diff) | |
when i still have chance to format
Diffstat (limited to 'entries/funemy/z3')
| -rwxr-xr-x | entries/funemy/z3/z4fib.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/entries/funemy/z3/z4fib.sh b/entries/funemy/z3/z4fib.sh index 97ae59b..b7488e4 100755 --- a/entries/funemy/z3/z4fib.sh +++ b/entries/funemy/z3/z4fib.sh @@ -32,6 +32,7 @@ echo " (=> (and (> i 1) (< i (seq.len fib)))" >> fib.smt2 echo " (= (seq.nth fib i)" >> fib.smt2 echo " (+ (seq.nth fib (- i 1))" >> fib.smt2 echo " (seq.nth fib (- i 2))))))))" >> fib.smt2 +echo "" >> fib.smt2 echo "(check-sat)" >> fib.smt2 |