C++ libraries for computing memory model.