How to solve logic puzzles with SMT solvers(symflower.com)
symflower.com
How to solve logic puzzles with SMT solvers
https://symflower.com/en/company/blog/2021/smt-part-2/
1 comments
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