Consider the following N-Queens encoding:
number_of_queens is a constant equal to 8.
Row goes from 1 to number_of_queens.
Column goes from 1 to number_of_queens.
Every row can have a queen_at exactly 1 column.
Every column can have a queen_at exactly 1 row.
It is prohibited that
row R1 has a queen_at column C1 and also
row R2 has a queen_at column C2 where
R1 is less than R2 and
R1 - C1 is equal to R2 - C2.
It is prohibited that
row R1 has a queen_at column C1 and also
row R2 has a queen_at column C2 where
R1 is less than R2 and
R1 + C1 is equal to R2 + C2.
If I use the command cnl2asp -o on the file which contains this model, then I get a hard crash:
cnl2asp -o cnl-encodings/n-queens.cnl
zsh: segmentation fault cnl2asp -o cnl-encodings/n-queens.cnl
For context, here's the basics of what I'm "running":
pip list
Package Version
------------------------- --------------
clingcon 5.2.1
clingo 5.7.1
clingox 1.2.1
Clorm 1.6.0
cnl2asp 1.3.8
ngo 1.0.2
plingo 1.1.0
telingo 2.1.3
python --version
Python 3.12.2
This is all using a MacBook Pro with an M3 Max processor.
Consider the following N-Queens encoding:
If I use the command
cnl2asp -oon the file which contains this model, then I get a hard crash:For context, here's the basics of what I'm "running":
This is all using a MacBook Pro with an M3 Max processor.