search

epfl-lara / ScalaZ3

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

Cannot find checkAndGetAllModels #83

Closed pdmatei closed 1 year ago

pdmatei commented 1 year ago

Hello, I am trying to replicate some examples seen online and I cannot find checkAndGetAllModels or an equivalent way to iterate over all models produced by a solver. Is this still supported in the current version? Can you help me out with trying to iterate over all possible models of a set of constraints?

Thank you in advance!

mario-bucev commented 1 year ago

Hello, The function is still here but for some reasons it is private. I'll push a change to make it public and will notify you :)

mario-bucev commented 1 year ago

It's merged! If you need anything else, I'd be happy to answer any further question. As I'm not the original author of ScalaZ3, I'll try to do my best :)

pdmatei commented 1 year ago

Thank you so much! You really saved my project!