Commit Graph

2 Commits

Author SHA1 Message Date
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
9ab96c5903 rename files based on their classes 2026-02-28 22:30:00 +01:00