How to solve logic puzzles with SMT solvers

Posted by symflower on Thursday September 23, 2021 @11:26AM
from the symflower.com dept.

( 1 comment | 3 points | on HN )

Re:How to solve logic puzzles with SMT solvers by zimmski on Thursday September 23, 2021 @12:47PM (#28631692)

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

[ Parent | on HN ]