SMACKd An Eclipse plugin for visually debugging SMACK. Plugin homepage found at http://smackers.github.io/smackd