search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
123 stars 34 forks source link

Scala 3 / dotty support? #81

Open edwardcwang opened 2 years ago

edwardcwang commented 2 years ago

Hope that this message reaches you well! Any thoughts/plans/roadmaps on Scala 3/dotty support?

mario-bucev commented 2 years ago

Hello! ScalaZ3 can be compiled with Scala 2.13 which is binary-compatible with Scala 3. That is, you can import the ScalaZ3 (2.13) jar and use it with Scala 3, as we do for Inox. We did not plan to port ScalaZ3 to Scala 3 (as we are satisfied with the 2.13 version), but we can definitely make the move!