This project is read-only.

Generating valid models using Formula

Nov 28, 2013 at 11: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
Dec 18, 2013 at 12:12 AM
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.