Ciaran McCreesh
Ciaran McCreesh
I'm still sceptical that HTML comments are commonly formatted in a way that screws up indenting. And even if they are, should they be?
There are a couple of options. The easiest is to add support for the graph6 format: have a look at the `gss/formats` directory. I'm travelling for the next couple of...
Yeah, I've not got any massive moral objection to this. Will put it on the list of things to either do or allocate to a bored student.
The documentation is perhaps not as clear as it could be here. When we say "with threads enabled", this is a global option for all of the Boost libraries which...
The immediate issue is inside the clique solver, `src/clique.cc:118`: ``` space = new int[size * (size + 1) * 2]; ``` I am guessing that this might be an int...
This one's really fiddly. We've got to be careful not to screw up common cases in order to get particular situations to work -- it's not realistically possible to get...
No, even HTML comments are a nuisance. Don't people stick those things after <script> and the like?