Ideone.com

fork download

copy

 
let rec permutations list taken = 
    seq { if Set.count taken = List.length list then yield [] else
          for l in list do
            if not (Set.contains l taken) then 
              for perm in permutations list (Set.add l taken)  do
                yield l::perm }
 
let succ (q : _[]) = 
    [|0..6|]     |> Array.exists (fun x ->
    [|x + 1..7|] |> Array.exists (fun y ->
        abs(q.[x] - q.[y]) = abs(x - y)
    )) |> not
 
for b in permutations [0..7] Set.empty
         |> Seq.map List.toArray
         |> Seq.filter succ do
    for e in b do
        String.replicate e ". " + "W " + String.replicate (7 - e) ". "
        |> printfn "%s"
    printfn ""

Success #stdin #stdout 0.53s 24976KB

stdin

copy

Standard input is empty

stdout

copy

W . . . . . . . 
. . . . W . . . 
. . . . . . . W 
. . . . . W . . 
. . W . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . W . . . . 

W . . . . . . . 
. . . . . W . . 
. . . . . . . W 
. . W . . . . . 
. . . . . . W . 
. . . W . . . . 
. W . . . . . . 
. . . . W . . . 

W . . . . . . . 
. . . . . . W . 
. . . W . . . . 
. . . . . W . . 
. . . . . . . W 
. W . . . . . . 
. . . . W . . . 
. . W . . . . . 

W . . . . . . . 
. . . . . . W . 
. . . . W . . . 
. . . . . . . W 
. W . . . . . . 
. . . W . . . . 
. . . . . W . . 
. . W . . . . . 

. W . . . . . . 
. . . W . . . . 
. . . . . W . . 
. . . . . . . W 
. . W . . . . . 
W . . . . . . . 
. . . . . . W . 
. . . . W . . . 

. W . . . . . . 
. . . . W . . . 
. . . . . . W . 
W . . . . . . . 
. . W . . . . . 
. . . . . . . W 
. . . . . W . . 
. . . W . . . . 

. W . . . . . . 
. . . . W . . . 
. . . . . . W . 
. . . W . . . . 
W . . . . . . . 
. . . . . . . W 
. . . . . W . . 
. . W . . . . . 

. W . . . . . . 
. . . . . W . . 
W . . . . . . . 
. . . . . . W . 
. . . W . . . . 
. . . . . . . W 
. . W . . . . . 
. . . . W . . . 

. W . . . . . . 
. . . . . W . . 
. . . . . . . W 
. . W . . . . . 
W . . . . . . . 
. . . W . . . . 
. . . . . . W . 
. . . . W . . . 

. W . . . . . . 
. . . . . . W . 
. . W . . . . . 
. . . . . W . . 
. . . . . . . W 
. . . . W . . . 
W . . . . . . . 
. . . W . . . . 

. W . . . . . . 
. . . . . . W . 
. . . . W . . . 
. . . . . . . W 
W . . . . . . . 
. . . W . . . . 
. . . . . W . . 
. . W . . . . . 

. W . . . . . . 
. . . . . . . W 
. . . . . W . . 
W . . . . . . . 
. . W . . . . . 
. . . . W . . . 
. . . . . . W . 
. . . W . . . . 

. . W . . . . . 
W . . . . . . . 
. . . . . . W . 
. . . . W . . . 
. . . . . . . W 
. W . . . . . . 
. . . W . . . . 
. . . . . W . . 

. . W . . . . . 
. . . . W . . . 
. W . . . . . . 
. . . . . . . W 
W . . . . . . . 
. . . . . . W . 
. . . W . . . . 
. . . . . W . . 

. . W . . . . . 
. . . . W . . . 
. W . . . . . . 
. . . . . . . W 
. . . . . W . . 
. . . W . . . . 
. . . . . . W . 
W . . . . . . . 

. . W . . . . . 
. . . . W . . . 
. . . . . . W . 
W . . . . . . . 
. . . W . . . . 
. W . . . . . . 
. . . . . . . W 
. . . . . W . . 

. . W . . . . . 
. . . . W . . . 
. . . . . . . W 
. . . W . . . . 
W . . . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . W . . 

. . W . . . . . 
. . . . . W . . 
. W . . . . . . 
. . . . W . . . 
. . . . . . . W 
W . . . . . . . 
. . . . . . W . 
. . . W . . . . 

. . W . . . . . 
. . . . . W . . 
. W . . . . . . 
. . . . . . W . 
W . . . . . . . 
. . . W . . . . 
. . . . . . . W 
. . . . W . . . 

. . W . . . . . 
. . . . . W . . 
. W . . . . . . 
. . . . . . W . 
. . . . W . . . 
W . . . . . . . 
. . . . . . . W 
. . . W . . . . 

. . W . . . . . 
. . . . . W . . 
. . . W . . . . 
W . . . . . . . 
. . . . . . . W 
. . . . W . . . 
. . . . . . W . 
. W . . . . . . 

. . W . . . . . 
. . . . . W . . 
. . . W . . . . 
. W . . . . . . 
. . . . . . . W 
. . . . W . . . 
. . . . . . W . 
W . . . . . . . 

. . W . . . . . 
. . . . . W . . 
. . . . . . . W 
W . . . . . . . 
. . . W . . . . 
. . . . . . W . 
. . . . W . . . 
. W . . . . . . 

. . W . . . . . 
. . . . . W . . 
. . . . . . . W 
W . . . . . . . 
. . . . W . . . 
. . . . . . W . 
. W . . . . . . 
. . . W . . . . 

. . W . . . . . 
. . . . . W . . 
. . . . . . . W 
. W . . . . . . 
. . . W . . . . 
W . . . . . . . 
. . . . . . W . 
. . . . W . . . 

. . W . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . . . W 
. . . . W . . . 
W . . . . . . . 
. . . W . . . . 
. . . . . W . . 

. . W . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . . . W 
. . . . . W . . 
. . . W . . . . 
W . . . . . . . 
. . . . W . . . 

. . W . . . . . 
. . . . . . . W 
. . . W . . . . 
. . . . . . W . 
W . . . . . . . 
. . . . . W . . 
. W . . . . . . 
. . . . W . . . 

. . . W . . . . 
W . . . . . . . 
. . . . W . . . 
. . . . . . . W 
. W . . . . . . 
. . . . . . W . 
. . W . . . . . 
. . . . . W . . 

. . . W . . . . 
W . . . . . . . 
. . . . W . . . 
. . . . . . . W 
. . . . . W . . 
. . W . . . . . 
. . . . . . W . 
. W . . . . . . 

. . . W . . . . 
. W . . . . . . 
. . . . W . . . 
. . . . . . . W 
. . . . . W . . 
W . . . . . . . 
. . W . . . . . 
. . . . . . W . 

. . . W . . . . 
. W . . . . . . 
. . . . . . W . 
. . W . . . . . 
. . . . . W . . 
. . . . . . . W 
W . . . . . . . 
. . . . W . . . 

. . . W . . . . 
. W . . . . . . 
. . . . . . W . 
. . W . . . . . 
. . . . . W . . 
. . . . . . . W 
. . . . W . . . 
W . . . . . . . 

. . . W . . . . 
. W . . . . . . 
. . . . . . W . 
. . . . W . . . 
W . . . . . . . 
. . . . . . . W 
. . . . . W . . 
. . W . . . . . 

. . . W . . . . 
. W . . . . . . 
. . . . . . . W 
. . . . W . . . 
. . . . . . W . 
W . . . . . . . 
. . W . . . . . 
. . . . . W . . 

. . . W . . . . 
. W . . . . . . 
. . . . . . . W 
. . . . . W . . 
W . . . . . . . 
. . W . . . . . 
. . . . W . . . 
. . . . . . W . 

. . . W . . . . 
. . . . . W . . 
W . . . . . . . 
. . . . W . . . 
. W . . . . . . 
. . . . . . . W 
. . W . . . . . 
. . . . . . W . 

. . . W . . . . 
. . . . . W . . 
. . . . . . . W 
. W . . . . . . 
. . . . . . W . 
W . . . . . . . 
. . W . . . . . 
. . . . W . . . 

. . . W . . . . 
. . . . . W . . 
. . . . . . . W 
. . W . . . . . 
W . . . . . . . 
. . . . . . W . 
. . . . W . . . 
. W . . . . . . 

. . . W . . . . 
. . . . . . W . 
W . . . . . . . 
. . . . . . . W 
. . . . W . . . 
. W . . . . . . 
. . . . . W . . 
. . W . . . . . 

. . . W . . . . 
. . . . . . W . 
. . W . . . . . 
. . . . . . . W 
. W . . . . . . 
. . . . W . . . 
W . . . . . . . 
. . . . . W . . 

. . . W . . . . 
. . . . . . W . 
. . . . W . . . 
. W . . . . . . 
. . . . . W . . 
W . . . . . . . 
. . W . . . . . 
. . . . . . . W 

. . . W . . . . 
. . . . . . W . 
. . . . W . . . 
. . W . . . . . 
W . . . . . . . 
. . . . . W . . 
. . . . . . . W 
. W . . . . . . 

. . . W . . . . 
. . . . . . . W 
W . . . . . . . 
. . W . . . . . 
. . . . . W . . 
. W . . . . . . 
. . . . . . W . 
. . . . W . . . 

. . . W . . . . 
. . . . . . . W 
W . . . . . . . 
. . . . W . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . W . . 
. . W . . . . . 

. . . W . . . . 
. . . . . . . W 
. . . . W . . . 
. . W . . . . . 
W . . . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . W . . 

. . . . W . . . 
W . . . . . . . 
. . . W . . . . 
. . . . . W . . 
. . . . . . . W 
. W . . . . . . 
. . . . . . W . 
. . W . . . . . 

. . . . W . . . 
W . . . . . . . 
. . . . . . . W 
. . . W . . . . 
. W . . . . . . 
. . . . . . W . 
. . W . . . . . 
. . . . . W . . 

. . . . W . . . 
W . . . . . . . 
. . . . . . . W 
. . . . . W . . 
. . W . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . W . . . . 

. . . . W . . . 
. W . . . . . . 
. . . W . . . . 
. . . . . W . . 
. . . . . . . W 
. . W . . . . . 
W . . . . . . . 
. . . . . . W . 

. . . . W . . . 
. W . . . . . . 
. . . W . . . . 
. . . . . . W . 
. . W . . . . . 
. . . . . . . W 
. . . . . W . . 
W . . . . . . . 

. . . . W . . . 
. W . . . . . . 
. . . . . W . . 
W . . . . . . . 
. . . . . . W . 
. . . W . . . . 
. . . . . . . W 
. . W . . . . . 

. . . . W . . . 
. W . . . . . . 
. . . . . . . W 
W . . . . . . . 
. . . W . . . . 
. . . . . . W . 
. . W . . . . . 
. . . . . W . . 

. . . . W . . . 
. . W . . . . . 
W . . . . . . . 
. . . . . W . . 
. . . . . . . W 
. W . . . . . . 
. . . W . . . . 
. . . . . . W . 

. . . . W . . . 
. . W . . . . . 
W . . . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . . . W 
. . . . . W . . 
. . . W . . . . 

. . . . W . . . 
. . W . . . . . 
. . . . . . . W 
. . . W . . . . 
. . . . . . W . 
W . . . . . . . 
. . . . . W . . 
. W . . . . . . 

. . . . W . . . 
. . . . . . W . 
W . . . . . . . 
. . W . . . . . 
. . . . . . . W 
. . . . . W . . 
. . . W . . . . 
. W . . . . . . 

. . . . W . . . 
. . . . . . W . 
W . . . . . . . 
. . . W . . . . 
. W . . . . . . 
. . . . . . . W 
. . . . . W . . 
. . W . . . . . 

. . . . W . . . 
. . . . . . W . 
. W . . . . . . 
. . . W . . . . 
. . . . . . . W 
W . . . . . . . 
. . W . . . . . 
. . . . . W . . 

. . . . W . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . W . . 
. . W . . . . . 
W . . . . . . . 
. . . W . . . . 
. . . . . . . W 

. . . . W . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . W . . 
. . W . . . . . 
W . . . . . . . 
. . . . . . . W 
. . . W . . . . 

. . . . W . . . 
. . . . . . W . 
. . . W . . . . 
W . . . . . . . 
. . W . . . . . 
. . . . . . . W 
. . . . . W . . 
. W . . . . . . 

. . . . W . . . 
. . . . . . . W 
. . . W . . . . 
W . . . . . . . 
. . W . . . . . 
. . . . . W . . 
. W . . . . . . 
. . . . . . W . 

. . . . W . . . 
. . . . . . . W 
. . . W . . . . 
W . . . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . W . . 
. . W . . . . . 

. . . . . W . . 
W . . . . . . . 
. . . . W . . . 
. W . . . . . . 
. . . . . . . W 
. . W . . . . . 
. . . . . . W . 
. . . W . . . . 

. . . . . W . . 
. W . . . . . . 
. . . . . . W . 
W . . . . . . . 
. . W . . . . . 
. . . . W . . . 
. . . . . . . W 
. . . W . . . . 

. . . . . W . . 
. W . . . . . . 
. . . . . . W . 
W . . . . . . . 
. . . W . . . . 
. . . . . . . W 
. . . . W . . . 
. . W . . . . . 

. . . . . W . . 
. . W . . . . . 
W . . . . . . . 
. . . . . . W . 
. . . . W . . . 
. . . . . . . W 
. W . . . . . . 
. . . W . . . . 

. . . . . W . . 
. . W . . . . . 
W . . . . . . . 
. . . . . . . W 
. . . W . . . . 
. W . . . . . . 
. . . . . . W . 
. . . . W . . . 

. . . . . W . . 
. . W . . . . . 
W . . . . . . . 
. . . . . . . W 
. . . . W . . . 
. W . . . . . . 
. . . W . . . . 
. . . . . . W . 

. . . . . W . . 
. . W . . . . . 
. . . . W . . . 
. . . . . . W . 
W . . . . . . . 
. . . W . . . . 
. W . . . . . . 
. . . . . . . W 

. . . . . W . . 
. . W . . . . . 
. . . . W . . . 
. . . . . . . W 
W . . . . . . . 
. . . W . . . . 
. W . . . . . . 
. . . . . . W . 

. . . . . W . . 
. . W . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . W . . . . 
. . . . . . . W 
W . . . . . . . 
. . . . W . . . 

. . . . . W . . 
. . W . . . . . 
. . . . . . W . 
. W . . . . . . 
. . . . . . . W 
. . . . W . . . 
W . . . . . . . 
. . . W . . . . 

. . . . . W . . 
. . W . . . . . 
. . . . . . W . 
. . . W . . . . 
W . . . . . . . 
. . . . . . . W 
. W . . . . . . 
. . . . W . . . 

. . . . . W . . 
. . . W . . . . 
W . . . . . . . 
. . . . W . . . 
. . . . . . . W 
. W . . . . . . 
. . . . . . W . 
. . W . . . . . 

. . . . . W . . 
. . . W . . . . 
. W . . . . . . 
. . . . . . . W 
. . . . W . . . 
. . . . . . W . 
W . . . . . . . 
. . W . . . . . 

. . . . . W . . 
. . . W . . . . 
. . . . . . W . 
W . . . . . . . 
. . W . . . . . 
. . . . W . . . 
. W . . . . . . 
. . . . . . . W 

. . . . . W . . 
. . . W . . . . 
. . . . . . W . 
W . . . . . . . 
. . . . . . . W 
. W . . . . . . 
. . . . W . . . 
. . W . . . . . 

. . . . . W . . 
. . . . . . . W 
. W . . . . . . 
. . . W . . . . 
W . . . . . . . 
. . . . . . W . 
. . . . W . . . 
. . W . . . . . 

. . . . . . W . 
W . . . . . . . 
. . W . . . . . 
. . . . . . . W 
. . . . . W . . 
. . . W . . . . 
. W . . . . . . 
. . . . W . . . 

. . . . . . W . 
. W . . . . . . 
. . . W . . . . 
W . . . . . . . 
. . . . . . . W 
. . . . W . . . 
. . W . . . . . 
. . . . . W . . 

. . . . . . W . 
. W . . . . . . 
. . . . . W . . 
. . W . . . . . 
W . . . . . . . 
. . . W . . . . 
. . . . . . . W 
. . . . W . . . 

. . . . . . W . 
. . W . . . . . 
W . . . . . . . 
. . . . . W . . 
. . . . . . . W 
. . . . W . . . 
. W . . . . . . 
. . . W . . . . 

. . . . . . W . 
. . W . . . . . 
. . . . . . . W 
. W . . . . . . 
. . . . W . . . 
W . . . . . . . 
. . . . . W . . 
. . . W . . . . 

. . . . . . W . 
. . . W . . . . 
. W . . . . . . 
. . . . W . . . 
. . . . . . . W 
W . . . . . . . 
. . W . . . . . 
. . . . . W . . 

. . . . . . W . 
. . . W . . . . 
. W . . . . . . 
. . . . . . . W 
. . . . . W . . 
W . . . . . . . 
. . W . . . . . 
. . . . W . . . 

. . . . . . W . 
. . . . W . . . 
. . W . . . . . 
W . . . . . . . 
. . . . . W . . 
. . . . . . . W 
. W . . . . . . 
. . . W . . . . 

. . . . . . . W 
. W . . . . . . 
. . . W . . . . 
W . . . . . . . 
. . . . . . W . 
. . . . W . . . 
. . W . . . . . 
. . . . . W . . 

. . . . . . . W 
. W . . . . . . 
. . . . W . . . 
. . W . . . . . 
W . . . . . . . 
. . . . . . W . 
. . . W . . . . 
. . . . . W . . 

. . . . . . . W 
. . W . . . . . 
W . . . . . . . 
. . . . . W . . 
. W . . . . . . 
. . . . W . . . 
. . . . . . W . 
. . . W . . . . 

. . . . . . . W 
. . . W . . . . 
W . . . . . . . 
. . W . . . . . 
. . . . . W . . 
. W . . . . . . 
. . . . . . W . 
. . . . W . . .

https://ideone.com/ab7jA8

language:

F# (mono 4.1)

created:

visibility:

public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!

Discover > Sphere Engine API

Discover > IDE Widget

Choose your language