Encoding blocked-n-queens_decision.gringo

Name	blocked-n-queens_decision.gringo
Class Tree	[Root] Unclassified (114) BlockedN-QueensCompetition (4)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of the Blocked N-Queens problem.
Created	2009-03-09 17:05
Modified	2009-03-09 17:06
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Choice rules
Compatible Instance Classes	BlockedN-QueensCompetition
Input Predicates	block/2 num/1
Output Predicates	queen/2
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	diagX(X,Y,X-Y) :- num(X), num(Y). diagY(X,Y,X+Y) :- num(X), num(Y). diagX(D) :- diagX(X,Y,D). diagY(D) :- diagY(X,Y,D). % exactly 1 queen in each row/col 1 { queen(X,Y) : num(Y) : not block(X,Y) } 1 :- num(X). 1 { queen(X,Y) : num(X) : not block(X,Y) } 1 :- num(Y). % at most 1 queen on each diagonal { queen(X,Y) : diagX(X,Y,D) : not block(X,Y) } 1 :- diagX(D). { queen(X,Y) : diagY(X,Y,D) : not block(X,Y) } 1 :- diagY(D). #hide. #show queen(X,Y).

Actions