Encoding blocked-n-queens_decision.gringo

Name blocked-n-queens_decision.gringo
Class Tree
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
Language Features
Compatible Instance Classes
Input Predicates
  • block/2
  • num/1
Output Predicates
  • queen/2
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content