- Efficiently calculate the GBD-Hash for a given DIMACS CNF file
- Uses libarchive to read compressed files, so it supports a wide range of compressed formats
Run make to build. Requires presence of libarchive (e.g. for Debian/Ubuntu/Mint run apt install libarchive-dev first).
This is mainly here to be integrated into GBD-Tools, because byte-wise processing of large files is ridiculously slow in Python.
Run make; make install in order to install the python accelerator module gbdhashc.
GBD-Tools will automatically start using this module to calculate gbd-hashes.
This is orders of magnitude faster than the fallback implementation in Python.