
Hi all!
does anybody know the Formula command I would need to use to generate valid models from a partial model defined in Formula?
Thank you very much in advance
Bea



Hi Bea,
The model finder for Formula 2.0 (using Z3 4.0) is still under construction. Most checkins will be related to this feature.
Thanks,
Ethan

