Testing Page for Code Snippets
A typical SMTLIB snippet
A nontermination z3 snippet for web testing (now readonly to skip build)
(declare-fun P (Int) Bool)
(assert (forall ((x Int)) (=> (P x) (P (+ x 1)))))
(assert (forall ((x Int)) (=> (P x) (P (- x 1)))))
(assert (P 0))
(check-sat)
A typical z3-js snippet
A typical game snippet
An always editable snippet
Some math ...