g++ or clang with C++17 features support (tested with g++ 13.2.1 and clang 14.0.6) on Linux machines. We use ParlayLib to support fork-join parallelism and some parallel primitives. It is provided as ...
Pygplib (Python First-Order Graph Property Library) is a Python module for constructing, manipulating, and encoding graph properties expressible with first-order logic of graphs. It serves as a ...