cprover
nonstd

Folder nonstd

nonstd contains implementations of C++ utilities that are not yet part of the standard library, e.g. for optional.