Change History for Ticket #282

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