The bliss library can be compiled with or without GMP SUPPORT. If bliss is compiled with GMP the macro definition BLISS_USE_GMP MUST be added, otherwise the headers do not match the library which produces the crash. If bliss is compiled as shared library, the CMake system should be able to detect this automatically.

In case you do not NEED symmetry handling, the easiest way to resolve the problem is to just disable symmetry handling during compilation (see Make files or CMake) or with the SCIP PARAMETER misc/use symmetry = 0. Otherwise it can be resolved by either adding the macro definition with the compiler flag -DBLISS_USE_GMP or by COMPILING bliss differently, i.e. without GMP support.

The bliss library can be compiled with or without GMP support. If bliss is compiled with GMP the macro definition BLISS_USE_GMP must be added, otherwise the headers do not match the library which produces the crash. If bliss is compiled as shared library, the CMake system should be able to detect this automatically.

In case you do not need symmetry handling, the easiest way to resolve the problem is to just disable symmetry handling during compilation (see Make files or CMake) or with the SCIP parameter misc/use symmetry = 0. Otherwise it can be resolved by either adding the macro definition with the compiler flag -DBLISS_USE_GMP or by compiling bliss differently, i.e. without GMP support.