bricks is a header-only C++ library of miscellaneous utilities developed with the DIVINE model checker. It contains data structures, algorithms, and utilities which were general enough to not be specific to DIVINE. The library is mostly C++11 compatible, but contains C++14 and C++17 code (which should be conditionally compiled).

You can either embed all of bricks, or use just some of our libraries, they are all header-only and not widely inter-dependent.

For embedding using version control, there two possibilities:

• this git repository
• darcs repository at https://paradise.fi.muni.cz/~xstill/code/bricks

If you are using CMake, including bricks/support.cmake will allow some feature auto-detection and will allow you to use our unit testing framework. Nevertheless, it should mostly be enough to add bricks directory to your include path and include appropriate libraries.

The upstream of bricks is the DIVINE darcs repository (linked on the project page). There is also a derived bricks-only darcs repository:

darcs get https://paradise.fi.muni.cz/~xstill/code/bricks

If you want to contribute, the preferred way is to contribute using darcs: create a patch in one of our repositories and send it to the DIVINE developers using e-mail shown on the web page. Pull requests to this git repository might eventually get upstream, but it will usually take longer (and they will not be merged directly).