Christoph Urlacher 592c4b6cc0 massive state space solver improvement: supercomp took ~10s, now ~40ms ...

achieved by imposing a 15 block limit on each board and changing the
internal representation from std::string to 4x uint64_t

2026-03-02 05:26:18 +01:00

..

bits.cpp

massive state space solver improvement: supercomp took ~10s, now ~40ms

2026-03-02 05:26:18 +01:00