Skip to content(if available)orjump to list(if available)

From hours to 360ms: over-engineering a puzzle solution

moralestapia

If anything, what a testament of the massive failure Z3 is.

natessilva

Should look into Knuth’s DLX. My JS implementation solved this case in 1.8ms

null

[deleted]