3 ms·
Does anybody know another Z3 online version or another SMT solver that can be used online? Rise4fun is gone for good :-( https://github.com/Z3Prover/z3/issues/5
by zimmski 5y ago
Does anybody know another Z3 online version or another SMT solver that can be used online? Rise4fun is gone for good :-( https://github.com/Z3Prover/z3/issues/5472 https://github.com/Z3Prover/z3/issues/5472