Encoding blocked-n-queens.dlv

Name blocked-n-queens.dlv
Class Tree
Submitter Martin Gebser
Author n/a
Description Program for Blocked N-Queens
Created 2009-03-30 13:03
Modified 2009-03-09 17:01
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • block/2
  • num/1
Output Predicates
  • queen/2
Encoding Parameter
    Standalone Help No
    Attributes
    Content