5 ms·
And here is the solution using Picat, using the included sat library: http://picat-lang.org/exs/bqueens.pi http://picat-lang.org/exs/bqueens.pi
by FreeFull 11y ago
And here is the solution using Picat, using the included sat library: http://picat-lang.org/exs/bqueens.pi http://picat-lang.org/exs/bqueens.pi