Change History for Ticket #282

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