• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..16-Nov-2021-

README.mdH A D16-Nov-2021372 116

incqueens-lua.lpH A D16-Nov-2021514 2120

incqueens-py.lpH A D16-Nov-2021473 2117

incqueens.lpH A D16-Nov-2021857 2417

README.md

1# Incremantally Solving the n-Queens Problem
2
3In this example, we calculate solutions for the n-Queens problem for different
4board sizes, which can be given as a list of intervals on the command line.
5
6## Example Calls
7
8    clingo incqueens.lp incqueens-py.lp -c calls="list((1,1),(3,5),(8,9))"
9    clingo incqueens.lp incqueens-lua.lp -c calls="list((1,1),(3,5),(8,9))"
10
11