1. 10
  1.  

  2. 5

    I’m looking forward to seeing what features end up in languages and programming environments in the next 10 years that would only be possible through the use of something like Z3 or CVC4. (It’d be nice if the Z3 license made that easier. I’m a bit afraid of using Z3 from an open source compiler that I maintain.)

    1. 5

      Cryptol uses the SBV Haskell library, which forks out to Z3 (and many other solvers)