1. 14
  1.  

  2. 2

    So, when can we expect to see it in SMT solvers like Z3? or is there a way to use it in Z3 already?

    1. 3

      Z3 requires incremental solving and Kissat is not incremental yet, so you can’t use it with Z3 for now.

      1. 2

        Thanks, much appreciated! Any SMT solvers that I can use with Kissat at this poing?