Bliss API Compatability: `AbstractGraph::find_automorphisms`; outdated signature about scip HOT 7 CLOSED

The same incompatibility shows in gcg/src/dec_isomorph.cpp and gcg/src/bliss_automorph.cpp

from scip.

Dear @ndrwnaguib
Using the latest version 0.77 from https://users.aalto.fi/~tjunttil/bliss/download.html the error does not appear in my compilation.
The downloadable packages are built with the github version of bliss https://github.com/ds4dm/Bliss mentioned in the installation section https://www.scipopt.org/doc-8.0.0/html/md_INSTALL.php. This does also not fail in compilation for me. What are you doing differently than me?
Best,
Franzi

from scip.

Hi Franzi; I am also using bliss 0.77, the second rc though.

Name            : bliss
Version         : 0.77-2
Description     : A library for computing automorphism groups and canonical forms of graphs
Architecture    : x86_64
URL             : https://users.aalto.fi/~tjunttil/bliss/
Licenses        : GPL3
Groups          : None
Provides        : None
Depends On      : gmp
Optional Deps   : None
Required By     : None
Optional For    : None
Conflicts With  : None
Replaces        : None
Installed Size  : 362.86 KiB
Install Reason  : Installed as a dependency for another package
Install Script  : No
Validated By    : Signature

I'm not sure why we have different results; especially that the change took effect starting from version 0.75 (according to the release notes)

from scip.

Hey @ndrwnaguib
How did you install bliss, and are the include files that cmake finds the correct ones or do you possibly have old include files lying around somewhere on your system?
To me, the signature of the find_automorphisms call looks correct in the scip code, as is takes the three arguments mentioned in the documentation. But @pfetsch is the expert here.
Best,
Franzi

from scip.

Franzi, thanks for the follow up; I installed it from the Arch Linux official repositories.

To me, the signature of the find_automorphisms call looks correct in the scip code, as is takes the three arguments mentioned in the documentation.

I think the documentation lists the third parameter as std::function<bool()> type though, with the following description:

If the terminate function argument is given, it is called in each search tree node: if the function returns true, then the search is terminated and thus not all the automorphisms may have been generated. The terminate function may be used to limit the time spent in bliss in case the graph is too difficult under the available time constraints. If used, keep the function simple to evaluate so that it does not consume too much time.

In the referenced SCIP line, it's being used as (void*) (and statically casted to BLISS_data later on); the compilation fails to convert SCIP call to the function to conform with the signature of my bliss implementation however.

from scip.

As far as I can see, the code takes the new interface into account, see the part starting with

#if BLISS_VERSION_MAJOR >= 1 || BLISS_VERSION_MINOR >= 76

in scip/compute_symmetry_bliss.cpp. The corresponding call in this case is

G.find_automorphisms(stats, reportglue, term);

where term is the callback function.

Can you please check whether the define is true in your case (it should be with Bliss version 0.77).

from scip.

@pfetsch, thanks for noting that, it is not there. I was building 7.0.3 instead of 8.0.0. The latest SCIP version should be working however considering the lines you referenced; thank you.

from scip.