msoos/cryptominisat

Louvain Libraries needed if DSTATS=ON

marino-mrc opened this issue · 3 comments

Hello,
it would be really helpful to add in the README.markdown file a short procedure for installing the Louvain community libraries in order to have stats enabled.

After a few hours, I found the files here and I installed the libraries following the instructions in the README file in that repository

Thanks,
Marco

msoos commented

Ah, good point. I now made it a requirement for STATS and explained it in the README. Sorry about that.

msoos commented

Sorry you wasted so much time! I think I had that louvain explained somehwere, probably in the Arjun repository, but not here. Sorry!

msoos commented

Now I also added it to the CrystalBall documentation. Sorry about that.