Boost.Contract

This library implements Contract Programming (a.k.a., Design by Contract or DbC)
for the C++ programming language.

All Contract Programming features are supported by this library: subcontracting,
class invariants (also static and volatile), postconditions (with old and return
values), preconditions, customizable actions on assertion failure (terminate,
throw, etc.), optional compilation of assertion checking, disable assertion
checking while already checking other assertions (to avoid infinite recursion),
etc.

NOTE:   In one of its previous revisions, this library passed Boost formal
        reviews and it was accepted into the Boost libraries. However, the
        authors have not had time yet to push this library into an official
        Boost release.
See: https://groups.google.com/forum/?fromgroups=#!topic/boost-list/jQ7OjAmos_Y

Copyright (C) 2008-2016 Lorenzo Caminiti
Distributed under the Boost Software License, Version 1.0 (see accompanying
file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
See: https://lcaminiti.github.io/boost-contract