hi,
I would appreciate a statistical feature that tells the user which constraint(s) is (are) causing the greatest number of rejects;
if a user could see, during computation, a counter that tells him the top 10 blocking constraints, maybe the debugging could be easier.
I don't know if it's possible, though.
Antonio
Unfortunately, it is probably impossible or it would give wrong results. But someone should study this suggestion, so I'm adding it in the TODO.