It seems that your system-wide libnauty is not linked with libcliquer.
Could you post output of
ldd /usr/lib/x86_64-linux-gnu/libnauty.so
?
It should look approximately like
linux-vdso.so.1 (0x7f5878adc000)
libcliquer.so.1 => /usr/lib64/libcliquer.so.1 (0x7f5878a1a000)
libc.
Whoops, not addressed to me. Sorry about that (but will check it out
anyway).
Mike
On Sat, Feb 22, 2025 at 1:51 PM Mike Wirth wrote:
> Dima,
>
> Thanks. Will give it a try.
>
> Mike
>
>
> On Sat, Feb 22, 2025 at 1:12 PM Dima Pasechnik wrote:
>
>> It seems that your system-wide libnauty is
Dima,
Thanks. Will give it a try.
Mike
On Sat, Feb 22, 2025 at 1:12 PM Dima Pasechnik wrote:
> It seems that your system-wide libnauty is not linked with libcliquer.
> Could you post output of
>
> ldd /usr/lib/x86_64-linux-gnu/libnauty.so
>
> ?
>
> It should look approximately like
>
> l
