Change History for Ticket #282

Version Date Author Comment
1 14 years felix winkelmann Replying to mario: > The setup file for z3 1.40 declares …
0 14 years Mario Domenech Goulart Initial version