Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 16-Nov-2021 | - | ||||
README.md | H A D | 16-Nov-2021 | 372 | 11 | 6 | |
incqueens-lua.lp | H A D | 16-Nov-2021 | 514 | 21 | 20 | |
incqueens-py.lp | H A D | 16-Nov-2021 | 473 | 21 | 17 | |
incqueens.lp | H A D | 16-Nov-2021 | 857 | 24 | 17 |
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