So, when can we expect to see it in SMT solvers like Z3? or is there a way to use it in Z3 already?
Z3 requires incremental solving and Kissat is not incremental yet, so you can’t use it with Z3 for now.
Thanks, much appreciated! Any SMT solvers that I can use with Kissat at this poing?