A tool for reversible computation in C++ based on incremental state saving. - View it on GitHub