Generating valid models using Formula

Nov 28, 2013 at 10:42 AM
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
Coordinator
Dec 17, 2013 at 11:12 PM
Hi Bea,

The model finder for Formula 2.0 (using Z3 4.0) is still under construction. Most check-ins will be related to this feature.

Thanks,
Ethan