Displaying Alloy optimizations impact

View: New views

1 Messages — Rating Filter: Alert me

Displaying Alloy optimizations impact

by Sharon Goldschlager :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hi,
I'd like to show Alloy indeed helps in solving problems faster.
How can I see the number of variables and clauses before and after Alloy optimizations ?
Many Thanks,
Sharon

LightInTheBox - Buy quality products at wholesale price