solo-built independant linux distribution
Packages / main / boost-contract
Boost.Contract runtime library for contract programming with preconditions and invariants