Code for the Relaxed Scoreboard (a verification tool for complex memory models) - View it on GitHub