Library to support contract programming in C++11 - View it on GitHub