Mate Soos

Hi, I need a full log of everything you did and got back. Please delete the `build` directory, and then issue cmake and make, and send me all the logs...

Sorry for the late response. Ah! This actually built `cryptominista5`! You only have trouble with the Python bindings. Do you need the Python bindings? If not, you can build with:...

Sorry that the defaults aren't so good. By the way, the `devel` branch I pointed to may not have been very fast, in retrospect. By the way, have you tried...

I think you will really be better with kissat. You'll see the performance, and not look back :) I am trying to catch up, but it will take a few...

Well... it used to be part of CryptoMiniSat. I think you may be able to find a version that works, but it'll be quite old. The PHP code (that did...

Ah, I found it. The file that generates the static data dump is called `file_creator.py`, see under `web`: https://github.com/msoos/cryptominisat/blob/master/web/file_creator.py

Yep, so I just checked, the `web/` directory should contain all you need, once the data is dumped to MySQL. But modern CrytpoMiniSat doesn't dump to MySQL, and the database...

MySQL is a database. It needs to be properly installed an configured. It's not a PyPi package. No, you can't convert the sqlite to MySQL because the schema is different....

Wow, first of all, thank you for packaging it! I'm super-grateful, I struggle to do that. And thank you for that feedback, that's very valuable! The `constexpr` was created to...

Hi! Sorry for my late response :( I think you simply have to remove everything in the `build` folder and then run the instructions as above. (Beware, if you have...